- A Model Theory of Topology.Paolo Lipparini - forthcoming - Studia Logica:1-35.details
|
|
The Embedding Theorem: Its Further Developments and Consequences. Part 1.Alexei Y. Muravitsky - 2006 - Notre Dame Journal of Formal Logic 47 (4):525-540.details
|
|
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic.Roberta Ballarin - forthcoming - History and Philosophy of Logic:1-21.details
|
|
Modal reduction principles: a parametric shift to graphs.Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano & Mattia Panettiere - 2024 - Journal of Applied Non-Classical Logics 34 (2-3):174-222.details
|
|
Uniform and non uniform strategies for tableaux calculi for modal logics.Stéphane Demri - 1995 - Journal of Applied Non-Classical Logics 5 (1):77-96.details
|
|
Montague’s Paradox, Informal Provability, and Explicit Modal Logic.Walter Dean - 2014 - Notre Dame Journal of Formal Logic 55 (2):157-196.details
|
|
From the Knowability Paradox to the existence of proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.details
|
|
Note critiche / Critical notices.Luigi Dappiano, Jacek J. Jadacki, Massimo Libardi & Ryszard Puciato - 1993 - Axiomathes 4 (3):413-462.details
|
|
A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.details
|
|
Key notions of Tarski's methodology of deductive systems.Janusz Czelakowski & Grzegorz Malinowski - 1985 - Studia Logica 44 (4):321 - 351.details
|
|
Embeddings of classical logic in S4.J. Czermak - 1975 - Studia Logica 34 (1):87-100.details
|
|
The Interpretation of Formalized Implication.Haskell B. Curry - 1959 - Theoria 25 (1):1-26.details
|
|
The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.details
|
|
Meredith, Prior, and the History of Possible Worlds Semantics.B. Jack Copeland - 2006 - Synthese 150 (3):373-397.details
|
|
Analogues of Bull’s theorem for hybrid logic.Willem Conradie & Claudette Robinson - 2019 - Logic Journal of the IGPL 27 (3):281-313.details
|
|
A modal theorem-preserving translation of a class of three-valued logics of incomplete information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.details
|
|
The disjunction property of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.details
|
|
Translations and structure for partial propositional calculi.E. William Chapin - 1974 - Studia Logica 33 (1):35-57.details
|
|
Modal companions of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - Studia Logica 51 (1):49 - 82.details
|
|
Pragmatic logics for hypotheses and evidence.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - forthcoming - Logic Journal of the IGPL.details
|
|
Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.details
|
|
Semantics for the sentential calculus with identity.Stephen L. Bloom & Roman Suszko - 1971 - Studia Logica 28 (1):77 - 82.details
|
|
Tarski's theorem on intuitionistic logic, for polyhedra.Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill & Andrea Pedrini - 2018 - Annals of Pure and Applied Logic 169 (5):373-391.details
|
|
The modal logic of {beta(mathbb{N})}.Guram Bezhanishvili & John Harding - 2009 - Archive for Mathematical Logic 48 (3-4):231-242.details
|
|
The universal modality, the center of a Heyting algebra, and the Blok–Esakia theorem.Guram Bezhanishvili - 2010 - Annals of Pure and Applied Logic 161 (3):253-267.details
|
|
On modal logics arising from scattered locally compact Hausdorff spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2019 - Annals of Pure and Applied Logic 170 (5):558-577.details
|
|
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.Guram Bezhanishvili, Kristina Brantley & Julia Ilin - 2023 - Journal of Symbolic Logic 88 (1):427-467.details
|
|
Completeness of S4 with respect to the real line: revisited.Gurman Bezhanishvili & Mai Gehrke - 2005 - Annals of Pure and Applied Logic 131 (1-3):287-301.details
|
|
Completeness of S4 with respect to the real line: revisited.Guram Bezhanishvili & Mai Gehrke - 2004 - Annals of Pure and Applied Logic 131 (1-3):287-301.details
|
|
Multimodal and intuitionistic logics in simple type theory.Christoph Benzmueller & Lawrence Paulson - 2010 - Logic Journal of the IGPL 18 (6):881-892.details
|
|
Two classes of intermediate propositional logics without disjunction property.Fabio Bellissima - 1989 - Archive for Mathematical Logic 28 (1):23-33.details
|
|
Foreword.Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici & Yde Venema - 2012 - Studia Logica 100 (1-2):1-7.details
|
|
Foreword.Philippe Balbiani - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):317-318.details
|
|
Explicit provability and constructive semantics. [REVIEW]Jeremy D. Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):432-432.details
|
|
Realization of Intuitionistic Logic by Proof Polynomials.Sergei N. Artemov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):285-301.details
|
|
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.details
|
|
Conservative translations.Hércules A. Feitosa & Itala M. Loffredo D'Ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.details
|
|
Fatal Heyting Algebras and Forcing Persistent Sentences.Leo Esakia & Benedikt Löwe - 2012 - Studia Logica 100 (1-2):163-173.details
|
|
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Gödel's functional interpretation and its use in current mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223–267.details
|
|
Gödel's Functional Interpretation and its Use in Current Mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223-267.details
|
|
Proof Theory and Algebra in Logic.Hiroakira Ono - 2019 - Singapore: Springer Singapore.details
|
|
Ruth Barcan Marcus.Roberta Ballarin - 2024 - Stanford Encyclopedia of Philosophy.details
|
|
Modal Logics Between Propositional and First Order.Melvin Fitting - unknowndetails
|
|
Proof of a conjecture of Roman Suszko.Stanislaw Zachorowski - 1975 - Studia Logica 34 (3):253 - 256.details
|
|
Decidability of quantified propositional intuitionistic logic and s4 on trees of height and arity ≤ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.details
|
|
Self-referentiality of Brouwer–Heyting–Kolmogorov semantics.Junhua Yu - 2014 - Annals of Pure and Applied Logic 165 (1):371-388.details
|
|
On non-self-referential fragments of modal logics.Junhua Yu - 2017 - Annals of Pure and Applied Logic 168 (4):776-803.details
|
|