- Semantics without Toil? Brady and Rush Meet Halldén.Lloyd Humberstone - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):340–404.details
|
|
Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.details
|
|
On the Logics with Propositional Quantifiers Extending S5Π.Yifeng Ding - 2018 - In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.), Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. pp. 219-235.details
|
|
Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
Axiomatic and Tableau-Based Reasoning for Kt.Renate A. Schmidt, John G. Stell & David Rydeheard - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 478-497.details
|
|
Normal Extensions of G.3.Ming Xu - 2002 - Theoria 68 (2):170-176.details
|
|
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 288-301.details
|
|
Modal Logic for Other-World Agnostics: Neutrality and Halldén Incompleteness.Lloyd Humberstone - 2007 - Journal of Philosophical Logic 36 (1):1-32.details
|
|
Admissible Bases Via Stable Canonical Rules.Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi & Mamuka Jibladze - 2016 - Studia Logica 104 (2):317-341.details
|
|
A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes.Costas D. Koutras - 2003 - Journal of Applied Non-Classical Logics 13 (1):47-71.details
|
|
Bare canonicity of representable cylindric and polyadic algebras.Jannis Bulian & Ian Hodkinson - 2013 - Annals of Pure and Applied Logic 164 (9):884-906.details
|
|
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.details
|
|
Some Normal Extensions of K4.3.Ming Xu - 2013 - Studia Logica 101 (3):583-599.details
|
|
Inessential features, ineliminable features, and modal logics for model theoretic syntax.Hans-Jörg Tiede - 2008 - Journal of Logic, Language and Information 17 (2):217-227.details
|
|
Erdős graphs resolve fine's canonicity problem.Robert Goldblatt, Ian Hodkinson & Yde Venema - 2004 - Bulletin of Symbolic Logic 10 (2):186-208.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
The Moral Law and The Good in Temporal Modal Logic with Propositional Quantifiers.Daniel Rönnedal - 2020 - Australasian Journal of Logic 17 (1):22-69.details
|
|
Almost structurally complete infinitary consequence operations extending S4.3.Wojciech Dzik & Piotr Wojtylak - 2015 - Logic Journal of the IGPL 23 (4):640-661.details
|
|
On the strength and scope of DLS.Willem Conradie - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):279-296.details
|
|
Frame constructions, truth invariance and validity preservation in many-valued modal logic.Pantelis E. Eleftheriou & Costas D. Koutras - 2005 - Journal of Applied Non-Classical Logics 15 (4):367-388.details
|
|
Non-wellfounded set theory.Lawrence S. Moss - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.details
|
|
Model Theoretical Aspects of Weakly Aggregative Modal Logic.Jixin Liu, Yifeng Ding & Yanjing Wang - 2022 - Journal of Logic, Language and Information 31 (2):261-286.details
|
|
Lattices of Finitely Alternative Normal Tense Logics.Minghui Ma & Qian Chen - 2021 - Studia Logica 109 (5):1093-1118.details
|
|
Boulesic-Doxastic Logic.Daniel Rönnedal - 2019 - Australasian Journal of Logic 16 (3):83-132.details
|
|
Multiple-conclusion Rules, Hypersequents Syntax and Step Frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 54-73.details
|
|
The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.details
|
|
A Proof-theoretic View of Necessity.Reinhard Kahle - 2006 - Synthese 148 (3):659-673.details
|
|
The McKinsey–Lemmon logic is barely canonical.Robert Goldblatt & Ian Hodkinson - 2007 - Australasian Journal of Logic 5:1-19.details
|
|
Judgment and consequence relations.Marcus Kracht - 2010 - Journal of Applied Non-Classical Logics 20 (4):423-435.details
|
|
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Sequent Calculi for Global Modal Consequence Relations.Minghui Ma & Jinsheng Chen - 2019 - Studia Logica 107 (4):613-637.details
|
|
Disentangling FDE -Based Paraconsistent Modal Logics.Sergei P. Odintsov & Heinrich Wansing - 2017 - Studia Logica 105 (6):1221-1254.details
|
|
Explicit provability and constructive semantics. [REVIEW]Jeremy D. Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):432-432.details
|
|
PDL for ordered trees.Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx & Maarten de Rijke - 2005 - Journal of Applied Non-Classical Logics 15 (2):115-135.details
|
|
Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.details
|
|
On Fibring Semantics for BDI Logics.G. Governatori, V. C. P. Nair & A. Sattar - unknowndetails
|
|
Superintuitionistic companions of classical modal logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.details
|
|
Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence.Ming Xu - 2021 - Studia Logica 109 (6):1177-1200.details
|
|
Logics of left variable inclusion and Płonka sums of matrices.S. Bonzio, T. Moraschini & M. Pra Baldi - 2020 - Archive for Mathematical Logic (1):49-76.details
|
|
(1 other version)Semantic Characterization of Krancht Formulas.Stanislav Kikot - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 218-234.details
|
|
Interconnection of the Lattices of Extensions of Four Logics.Alexei Y. Muravitsky - 2017 - Logica Universalis 11 (2):253-281.details
|
|
An extension of Kracht's theorem to generalized Sahlqvist formulas.Stanislav Kikot - 2009 - Journal of Applied Non-Classical Logics 19 (2):227-251.details
|
|
S5 knowledge without partitions.Dov Samet - 2009 - Synthese 172 (1):145 - 155.details
|
|
A Dichotomy for Some Elementarily Generated Modal Logics.Stanislav Kikot - 2015 - Studia Logica 103 (5):1063-1093.details
|
|
Technical Modal Logic.Marcus Kracht - 2011 - Philosophy Compass 6 (5):350-359.details
|
|
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.details
|
|
Logics of Infinite Depth.Marcus Kracht - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 435-448.details
|
|
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.details
|
|