- Dynamic logics of the region-based theory of discrete spaces.Philippe Balbiani, Tinko Tinchev & Dimiter Vakarelov - 2007 - Journal of Applied Non-Classical Logics 17 (1):39-61.details
|
|
(1 other version)Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2):175-211.details
|
|
Continuity, freeness, and filtrations.Silvio Ghilardi - 2010 - Journal of Applied Non-Classical Logics 20 (3):193-217.details
|
|
Algebraic semantics for modal and superintuitionistic non-monotonic logics.David Pearce & Levan Uridia - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):147-158.details
|
|
(2 other versions)Logic TK: Algebraic Notions from Tarski’s Consequence Operator.Hércules A. Feitosa, Mauri C. Do Nascimento & Maria Claudia C. Grácio - 2010 - Principia: An International Journal of Epistemology 14 (1):47-70.details
|
|
Zolin and Pizzi: Defining Necessity from Noncontingency.Lloyd Humberstone - 2013 - Erkenntnis 78 (6):1275-1302.details
|
|
Possible Worlds in Use.Andrzej Indrzejczak - 2011 - Studia Logica 99 (1-3):229-248.details
|
|
Intermediate Logics and Visser's Rules.Rosalie Iemhoff - 2005 - Notre Dame Journal of Formal Logic 46 (1):65-81.details
|
|
Possible-worlds semantics for modal notions conceived as predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.details
|
|
Unification types in Euclidean modal logics.Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani & Mojtaba Mojtahedi - 2023 - Logic Journal of the IGPL 31 (3):422-440.details
|
|
(1 other version)Fuzzy logics – quantitatively.Marek Zaionc & Zofia Kostrzycka - 2023 - Journal of Applied Non-Classical Logics 34 (1):97-132.details
|
|
Paraconsistent modal logics.Umberto Rivieccio - 2011 - Electronic Notes in Theoretical Computer Science 278:173-186.details
|
|
Undecidability of admissibility in the product of two Alt logics.Philippe Balbiani & Çiğdem Gencer - forthcoming - Logic Journal of the IGPL.details
|
|
Canonicity in Power and Modal Logics of Finite Achronal Width.Robert Goldblatt & Ian Hodkinson - forthcoming - Review of Symbolic Logic:1-31.details
|
|
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras.Guram Bezhanishvili, David Gabelaia & Mamuka Jibladze - 2022 - Journal of Mathematical Logic 22 (3).details
|
|
Improving Strong Negation.Satoru Niki - 2023 - Review of Symbolic Logic 16 (3):951-977.details
|
|
Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.details
|
|
What Can You Say? Measuring the Expressive Power of Languages.Alexander Kocurek - 2018 - Dissertation, University of California, Berkeleydetails
|
|
On the Logic of Belief and Propositional Quantification.Yifeng Ding - 2021 - Journal of Philosophical Logic 50 (5):1143-1198.details
|
|
Lattices of Finitely Alternative Normal Tense Logics.Minghui Ma & Qian Chen - 2021 - Studia Logica 109 (5):1093-1118.details
|
|
Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
Proof Theory and Algebra in Logic.Hiroakira Ono - 2019 - Singapore: Springer Singapore.details
|
|
Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.details
|
|
Standard bayes logic is not finitely axiomatizable.Zalán Gyenis - 2020 - Review of Symbolic Logic 13 (2):326-337.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
|
|
(1 other version)Labelled Tree Sequents, Tree Hypersequents and Nested Sequents.Rajeev Goré & Revantha Ramanayake - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 279-299.details
|
|
(1 other version)PSPACE-decidability of Japaridze's polymodal logic.Ilya Shapirovsky - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 289-304.details
|
|
Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu - 2016 - Review of Symbolic Logic 9 (2):266-298.details
|
|
Structural completeness in propositional logics of dependence.Rosalie Iemhoff & Fan Yang - 2016 - Archive for Mathematical Logic 55 (7-8):955-975.details
|
|
Fibring: completeness preservation.Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas - 2001 - Journal of Symbolic Logic 66 (1):414-439.details
|
|
The Modal Logic of Stone Spaces: Diamond as Derivative.Guram Bezhanishvili - 2010 - Review of Symbolic Logic 3 (1):26-40.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.details
|
|
Projective Beth Property in Extensions of Grzegorczyk Logic.Larisa Maksimova - 2006 - Studia Logica 83 (1):365-391.details
|
|
Conditional Excluded Middle in Systems of Consequential Implication.Claudio Pizzi & Timothy Williamson - 2005 - Journal of Philosophical Logic 34 (4):333-362.details
|
|
First-Order Logic in the Medvedev Lattice.Rutger Kuyper - 2015 - Studia Logica 103 (6):1185-1224.details
|
|
Embedding Logics in the Local Computation Framework.Nic Wilson & Jérôme Mengin - 2001 - Journal of Applied Non-Classical Logics 11 (3):239-267.details
|
|
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2009 - Journal of Applied Non-Classical Logics 19 (2):149-166.details
|
|
On the rules of intermediate logics.Rosalie Iemhoff - 2006 - Archive for Mathematical Logic 45 (5):581-599.details
|
|
A Neighbourhood Semantics for the Logic TK.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287.details
|
|
(2 other versions)On modal logics between {$\roman K\times\roman K\times \roman K$} and {${\rm S}5\times{\rm S}5\times{\rm S}5$}.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221-234.details
|
|
A Strange Remark Attributed to Gödel.Lloyd Humberstone - 2003 - History and Philosophy of Logic 24 (1):39-44.details
|
|
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.details
|
|
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.details
|
|
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.details
|
|
(1 other version)A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.details
|
|
(1 other version)Quasi-modal equivalence of canonical structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.details
|
|
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.details
|
|
(1 other version)Fuzzy logics – quantitatively.Zofia Kostrzycka & Marek Zaionc - 2023 - Journal of Applied Non-Classical Logics 34 (1):97-132.details
|
|
Nested sequents for intermediate logics: the case of Gödel-Dummett logics.Tim S. Lyon - 2023 - Journal of Applied Non-Classical Logics 33 (2):121-164.details
|
|