Monotonic modal logics
暂无分享,去创建一个
[1] Moshe Y. Vardi. On the complexity of epistemic reasoning , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[2] J. Benthem,et al. Logical Patterns in Space , 2002 .
[3] Yde Venema,et al. Stone Coalgebras , 2004, CMCS.
[4] Kosta Dosen,et al. Duality between modal algebras and neighbourhood frames , 1989, Stud Logica.
[5] Steven K. Thomason,et al. Reduction of second-order logic to modal logic , 1975, Math. Log. Q..
[6] Brian F. Chellas,et al. The completeness of monotonic modal logics , 1975, Math. Log. Q..
[7] Valentin Goranko,et al. Modal logic with names , 1993, J. Philos. Log..
[8] Stanley Burris,et al. A course in universal algebra , 1981, Graduate texts in mathematics.
[9] Bjarni Jónsson,et al. On the canonicity of Sahlqvist identities , 1994, Stud Logica.
[10] Yde Venema,et al. A Sahlqvist theorem for distributive modal logic , 2005, Ann. Pure Appl. Log..
[11] L. Maksimova. Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras , 1979 .
[12] R. Goldblatt. Metamathematics of modal logic , 1974, Bulletin of the Australian Mathematical Society.
[13] Marcus Kracht,et al. Normal monomodal logics can simulate all others , 1999, Journal of Symbolic Logic.
[14] Steven K. Thomason. Categories of Frames for Modal Logic , 1975, J. Symb. Log..
[15] Willem J. Blok,et al. Algebraic Semantics for Quasi-Classical Modal Logics , 1983, J. Symb. Log..
[16] Marcus Kracht,et al. Highway to the Danger Zone , 1995, J. Log. Comput..
[17] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[18] Valentin Goranko,et al. Using the Universal Modality: Gains and Questions , 1992, J. Log. Comput..
[19] E. Michael. Topologies on spaces of subsets , 1951 .
[20] Richard Spencer-Smith,et al. Modal Logic , 2007 .
[21] Martin Rößiger,et al. Coalgebras and Modal Logic , 2000, CMCS.
[22] Robert Goldblatt,et al. Varieties of Complex Algebras , 1989, Ann. Pure Appl. Log..
[23] Krister Segerberg,et al. An essay in classical modal logic , 1971 .
[24] Mai Gehrke,et al. MONOTONE BOUDED DISTRIBUTIVE LATTICE EXPANSIONS , 2000 .
[25] maarten marx. Algebraic Relativization and Arrow Logic , 1995 .
[26] Olivier Gasquet. Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics , 1996, Log. J. IGPL.
[27] Thomas A. Henzinger,et al. Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
[28] Dirk Pattinson,et al. Coalgebraic modal logic: soundness, completeness and decidability of local consequence , 2003, Theor. Comput. Sci..
[29] M. Kracht. Tools and Techniques in Modal Logic , 1999 .
[30] A. Herzig,et al. From Classical to Normal Modal Logics , 1996 .
[31] Marc Pauly,et al. A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..
[32] Giovanni Sambin,et al. Topology and duality in modal logic , 1988, Ann. Pure Appl. Log..
[33] Marc Pauly,et al. Logic for social software , 2000 .
[34] John L. Pollock,et al. Basic modal logic , 1967, Journal of Symbolic Logic.
[35] Martin Gerson. The Inadequacy of the Neighbourhood Semantics for Modal Logic , 1975, J. Symb. Log..
[36] Helle Hvid Hansen,et al. Axiomatising Nash-Consistent Coalition Logic , 2002, JELIA.
[37] Lilia Chagrova. On the Degree of Neighborhood Incompleteness of Normal Modal Logics , 1996, Advances in Modal Logic.
[38] On non-well-founded multisets : Scott Collapse in the Multiworld , 1999 .
[39] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[40] R. Labrecque. The Correspondence Theory , 1978 .
[41] Marcus Kracht,et al. How Completeness and Correspondence Theory Got Married , 1993 .
[42] Michael Zakharyaschev,et al. Modal Logic , 1997, Oxford logic guides.
[43] J.F.A.K. van Benthem,et al. Modal Correspondence Theory , 1977 .
[44] Alexander Kurz,et al. Coalgebras and Modal Logic , 1998 .
[45] R. Parikh. The logic of games and its applications , 1985 .
[46] Yde Venema,et al. Simulating polyadic modal logics by monadic ones , 2003, Journal of Symbolic Logic.
[47] Leon van der Torre,et al. Contrary‐to‐duty reasoning with preference‐based dyadic obligations , 1999, Annals of Mathematics and Artificial Intelligence.
[48] Steven K. Thomason. Reduction of Tense Logic to Modal Logic. I , 1974, J. Symb. Log..
[49] Giovanni Sambin,et al. Subdirectly Irreducible Modal Algebras and Initial Frames , 1999, Stud Logica.
[50] J. Czelakowski,et al. Amalgamation and Interpolation in Abstract Algebraic Logic , 2003 .
[51] Moshe Y. Vardi. On Epistemic Logic and Logical Omniscience , 1986, TARK.
[52] A. Tarski,et al. Boolean Algebras with Operators , 1952 .
[53] Y. Venema. Duals of subdirectly irreducible modal algebras , 2002 .
[54] Judit X. Madarász,et al. Interpolation and Amalgamation; Pushing the Limits. Part II , 1999, Stud Logica.
[55] Marc Pauly,et al. From Programs to Games: Invariance and Safety for Bisimulation , 2000, CSL.
[56] Judit X. Madarász. Interpolation and Amalgamation; Pushing the Limits. Part I , 1998, Stud Logica.
[57] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..
[58] R. Goldblatt. Logics of Time and Computation , 1987 .