- The free non-commutative cylindric algebras are not atomic.Mohamed Khaled - 2017 - Logic Journal of the IGPL 25 (5):673-685.details
|
|
The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.details
|
|
Automorphisms of the Lattice of Classical Modal Logics.Adrian Soncodi - 2016 - Studia Logica 104 (2):249-276.details
|
|
A comparison of two approaches to parainconsistency: Flemish and Polish.Marek Nasieniewski - 2001 - Logic and Logical Philosophy 9:47.details
|
|
Common knowledge: finite calculus with syntactic cut-elimination procedure.Francesca Poggiolesi & Brian Hill - 2015 - Logique Et Analyse 58 (230):279-306.details
|
|
Complete additivity and modal incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.details
|
|
Is there a genuine modal perspective on feature structures?Marcus Kracht - 1995 - Linguistics and Philosophy 18 (4):401 - 458.details
|
|
On canonicity and strong completeness conditions in intermediate propositional logics.Silvio Ghilardi & Pierangelo Miglioli - 1999 - Studia Logica 63 (3):353-385.details
|
|
Alethic Modal Logics and Semantics.Gerhard Schurz - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 442–477.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Informação.Frank Thomas Sautter - 2021 - Veritas – Revista de Filosofia da Pucrs 65 (3):e37290.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
The bounded proof property via step algebras and step frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - Annals of Pure and Applied Logic 165 (12):1832-1863.details
|
|
Canonicity for intensional logics with even axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.details
|
|
Interpretations into monadic algebras.Renato A. Lewin - 1987 - Studia Logica 46 (4):329 - 342.details
|
|
What is the upper part of the lattice of bimodal logics?Frank Wolter - 1994 - Studia Logica 53 (2):235 - 241.details
|
|
A general multi-agent epistemic planner based on higher-order belief change.Hai Wan, Biqing Fang & Yongmei Liu - 2021 - Artificial Intelligence 301 (C):103562.details
|
|
Instantial neighbourhood logic.Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist & Junhua Yu - 2017 - Review of Symbolic Logic 10 (1):116-144.details
|
|
Some modal aspects of XPath.Balder ten Cate, Gaëlle Fontaine & Tadeusz Litak - 2010 - Journal of Applied Non-Classical Logics 20 (3):139-171.details
|
|
Complete axiomatizations for XPath fragments.Balder ten Cate, Tadeusz Litak & Maarten Marx - 2010 - Journal of Applied Logic 8 (2):153-172.details
|
|
Canonicity for Intensional Logics with Even Axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.details
|
|
Formulas in modal logic s4.Katsumi Sasaki - 2010 - Review of Symbolic Logic 3 (4):600-627.details
|
|
Completeness for flat modal fixpoint logics.Luigi Santocanale & Yde Venema - 2010 - Annals of Pure and Applied Logic 162 (1):55-82.details
|
|
Are the Validities of Modal Logic Analytic? Or Analyticity Again, through Information, Proof, Modal Logic and Hintikka.Francesca Poggiolesi - 2015 - Philosophia Scientiae 19:221-243.details
|
|
Are the Validities of Modal Logic Analytic? Or Analyticity Again, through Information, Proof, Modal Logic and Hintikka.Francesca Poggiolesi - 2015 - Philosophia Scientiae 19:221-243.details
|
|
Decidability of an Xstit Logic.Gillman Payette - 2014 - Studia Logica 102 (3):577-607.details
|
|
An algebraic theory of normal forms.Silvio Ghilardi - 1995 - Annals of Pure and Applied Logic 71 (3):189-245.details
|
|
Finite models constructed from canonical formulas.Lawrence S. Moss - 2007 - Journal of Philosophical Logic 36 (6):605 - 640.details
|
|
Normal forms for modal logics kb and ktb.Yutaka Miyazaki - 2007 - Bulletin of the Section of Logic 36 (3/4):183-193.details
|
|
Completeness of the finitary Moss logic.Clemens Kupke, Alexander Kurz & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 193-217.details
|
|
On Hamblin's 15 Tense Theorem.Manfred Kudlek - 2010 - Journal of Applied Non-Classical Logics 20 (1):63-80.details
|
|
Logics of Synonymy.Levin Hornischer - 2020 - Journal of Philosophical Logic 49 (4):767-805.details
|
|
Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.details
|
|
The McKinsey–Lemmon logic is barely canonical.Robert Goldblatt & Ian Hodkinson - 2007 - Australasian Journal of Logic 5:1-19.details
|
|
The McKinsey axiom is not canonical.Robert Goldblatt - 1991 - Journal of Symbolic Logic 56 (2):554-562.details
|
|
Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic.Rohan French & Lloyd Humberstone - 2009 - Australasian Journal of Logic 7:56-61.details
|
|
Forgetting in multi-agent modal logics.Liangda Fang, Yongmei Liu & Hans van Ditmarsch - 2019 - Artificial Intelligence 266 (C):51-80.details
|
|
A quantitative analysis of modal logic.Ronald Fagin - 1994 - Journal of Symbolic Logic 59 (1):209-252.details
|
|
Proof systems for the coalgebraic cover modality.Marta Bílková, Alessandra Palmigiano & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-21.details
|
|
DEL-sequents for progression.Guillaume Aucher - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):289-321.details
|
|