Neighbourhood Structures: Bisimilarity and Basic Model Theory
暂无分享,去创建一个
[1] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[2] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[3] Dana S. Scott,et al. Advice on Modal Logic , 1970 .
[4] Krister Segerberg,et al. An essay in classical modal logic , 1971 .
[5] J.F.A.K. van Benthem,et al. Modal Correspondence Theory , 1977 .
[6] R. Labrecque. The Correspondence Theory , 1978 .
[7] Jörg Flum,et al. Topological Model Theory , 1980 .
[8] László Dezsö,et al. Universal Grammar , 1981, Certainty in Action.
[9] Moshe Y. Vardi. On Epistemic Logic and Logical Omniscience , 1986, TARK.
[10] Peter Dybjer,et al. Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings (Lecture Notes in Computer Science; 389) , 1989 .
[11] Peter Aczel,et al. A Final Coalgebra Theorem , 1989, Category Theory and Computer Science.
[12] Kosta Dosen,et al. Duality between modal algebras and neighbourhood frames , 1989, Stud Logica.
[13] Jirí Adámek,et al. Abstract and Concrete Categories - The Joy of Cats , 1990 .
[14] Lou Goble. Murder most gentle: The paradox deepens , 1991 .
[15] maarten marx. Algebraic Relativization and Arrow Logic , 1995 .
[16] Johan van Benthem,et al. Back and Forth Between Modal Logic and Classical Logic , 1995, Log. J. IGPL.
[17] Thomas A. Henzinger,et al. Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
[18] Judit X. Madarász. Interpolation and Amalgamation; Pushing the Limits. Part I , 1998, Stud Logica.
[19] Johan van Benthem,et al. Modal Languages and Bounded Fragments of Predicate Logic , 1998, J. Philos. Log..
[20] Judit X. Madarász,et al. Interpolation and Amalgamation; Pushing the Limits. Part II , 1999, Stud Logica.
[21] Johan van Benthem,et al. Information Transfer across Chu Spaces , 2000, Log. J. IGPL.
[22] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..
[23] Peter Aczel,et al. Algebras and Coalgebras , 2000, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction.
[24] Marc Pauly,et al. Logic for social software , 2000 .
[25] H. Gumm. Functors for Coalgebras , 2001 .
[26] Marc Pauly,et al. A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..
[27] Dirk Pattinson,et al. An Introduction to the Theory of Coalgebras , 2003 .
[28] Dirk Pattinson,et al. Coalgebraic modal logic: soundness, completeness and decidability of local consequence , 2003, Theor. Comput. Sci..
[29] Helle Hvid Hansen,et al. Monotonic modal logics , 2003 .
[30] Jirí Adámek,et al. On tree coalgebras and coalgebra presentations , 2004, Theor. Comput. Sci..
[31] Richard Spencer-Smith,et al. Modal Logic , 2007 .
[32] Helle Hvid Hansen,et al. A Coalgebraic Perspective on Monotone Modal Logic , 2004, CMCS.
[33] H. Peter Gumm,et al. Types and coalgebraic structure , 2005 .
[34] Alexander Kurz,et al. Ultrafilter Extensions for Coalgebras , 2005, CALCO.
[35] D. Gabbay,et al. Interpolation and Definability in Modal Logics (Oxford Logic Guides) , 2005 .
[36] D. Gabbay,et al. Interpolation and Definability: Modal and Intuitionistic Logic , 2005 .
[37] Martin Otto,et al. Bisimulation invariance and finite models , 2006 .
[38] Clemens Kupke,et al. Terminal Sequence Induction via Games , 2009, TbiLLC.
[39] Alexander Kurz,et al. The Goldblatt-Thomason Theorem for Coalgebras , 2007, CALCO.
[40] Helle Hvid Hansen,et al. Bisimulation for Neighbourhood Structures , 2007, CALCO.
[41] Guido Governatori,et al. Knowledge Assessment: A Modal Logic Approach , 2008, PRIMA.
[42] Lutz Schröder,et al. Expressivity of coalgebraic modal logic: The limits and beyond , 2008, Theor. Comput. Sci..
[43] Dmitry Sustretov,et al. Modal languages for topology: Expressivity and definability , 2006, Ann. Pure Appl. Log..