F-coalgebra - Document - PDFSEARCH.IO - Document Search Engine

First Page		Document Content
Category theory Boolean algebra Modal logic Algebraic logic F-coalgebra Coalgebra General frame Modal algebra Kripke semantics Mathematics Abstract algebra Mathematical logic		Add to Reading List Source URL: arxiv.org Download Document from Source Website File Size: 296,00 KB Share Document on Facebook

	On the Modal Understanding of Triadic Contexts Frithjof Dau and Rudolf Wille Technische Universitat Darmstadt, Fachbereich Mathematik Schlogartenstr. 7, D{64289 Darmstadt, fdau, DocID: 1q9E5 - View Document
	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA DocID: 1q3hX - View Document
	Linear unary operators in process algebra Linear unary operators in process algebra DocID: 1pAuA - View Document
	STABLE CANONICAL RULES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, ROSALIE IEMHOFF Abstract. We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This DocID: 1oDdl - View Document
	ARTIFICIAL INTELLIGENCE 71 Probabilistic Logic* Nils J . N i l s s o n DocID: 1ou0O - View Document