- The Baire Closure and its Logic.G. Bezhanishvili & D. Fernández-Duque - 2024 - Journal of Symbolic Logic 89 (1):27-49.details
|
|
Polyhedral Completeness of Intermediate Logics: The Nerve Criterion.Sam Adam-day, Nick Bezhanishvili, David Gabelaia & Vincenzo Marra - 2024 - Journal of Symbolic Logic 89 (1):342-382.details
|
|
Proof Theory and Algebra in Logic.Hiroakira Ono - 2019 - Singapore: Springer Singapore.details
|
|
Adolf Lindenbaum: Notes on his Life, with Bibliography and Selected References.Jan Zygmunt & Robert Purdy - 2014 - Logica Universalis 8 (3-4):285-320.details
|
|
First-order indefinite and uniform neighbourhood semantics.Arnold Vander Nat - 1979 - Studia Logica 38 (3):277-296.details
|
|
A Duality for the Algebras of a Łukasiewicz n + 1-valued Modal System.Bruno Teheux - 2007 - Studia Logica 87 (1):13-36.details
|
|
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski.Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.details
|
|
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski. [REVIEW]Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.details
|
|
Logic of Justified Beliefs Based on Argumentation.Chenwei Shi, Sonja Smets & Fernando R. Velázquez-Quesada - 2021 - Erkenntnis 88 (3):1207-1243.details
|
|
On algebraic and topological semantics of the modal logic of common knowledge S4CI.Daniyar Shamkanov - forthcoming - Logic Journal of the IGPL.details
|
|
BI‐Modal Logic, Double‐Closure Algebras, and Hilbert Space.Jean E. Rubin - 1962 - Mathematical Logic Quarterly 8 (3‐4):305-322.details
|
|
A hyperintensional approach to positive epistemic possibility.Niccolò Rossi & Aybüke Özgün - 2023 - Synthese 202 (44):1-29.details
|
|
Solving the $100 modal logic challenge.Florian Rabe, Petr Pudlák, Geoff Sutcliffe & Weina Shen - 2009 - Journal of Applied Logic 7 (1):113-130.details
|
|
Propositional Quantification in the Topological Semantics for S.Philip Kremer - 1997 - Notre Dame Journal of Formal Logic 38 (2):295-313.details
|
|
On the Non‐Existence of Finite Characteristic Models for Some Classes of Implicational Calculi.Biswambhar Pahi - 1974 - Mathematical Logic Quarterly 20 (8-12):113-119.details
|
|
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.details
|
|
First-order indefinite and uniform neighbourhood semantics.Arnold Nat - 1979 - Studia Logica 38 (3):277 - 296.details
|
|
A Proof Of Topological Completeness For S4 In.Giorgi Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.details
|
|
A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.details
|
|
The modal logic of continuous functions on the rational numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.details
|
|
The modal logic of continuous functions on cantor space.Philip Kremer - 2006 - Archive for Mathematical Logic 45 (8):1021-1032.details
|
|
Strong completeness of s4 for any dense-in-itself metric space.Philip Kremer - 2013 - Review of Symbolic Logic 6 (3):545-570.details
|
|
Quantified modal logic on the rational line.Philip Kremer - 2014 - Review of Symbolic Logic 7 (3):439-454.details
|
|
Quantified intuitionistic logic over metrizable spaces.Philip Kremer - 2019 - Review of Symbolic Logic 12 (3):405-425.details
|
|
Matching Topological and Frame Products of Modal Logics.Philip Kremer - 2016 - Studia Logica 104 (3):487-502.details
|
|
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.details
|
|
Dynamic topological logic.Philip Kremer & Giorgi Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.details
|
|
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.details
|
|
Which Modal Logic Is the Right One?John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (1):81-93.details
|
|
Order- dual realational semantics for non-distributive propositional logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 25 (2):145-182.details
|
|
Modal and temporal extensions of non-distributive propositional logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 24 (2):156-185.details
|
|
Spatial logic of tangled closure operators and modal mu-calculus.Robert Goldblatt & Ian Hodkinson - 2017 - Annals of Pure and Applied Logic 168 (5):1032-1090.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
The introduction of topology into analytic philosophy: two movements and a coda.Samuel C. Fletcher & Nathan Lackey - 2022 - Synthese 200 (3):1-34.details
|
|
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.details
|
|
On McKinsey's syntatical characterizations of systems of modal logic.F. R. Drake - 1962 - Journal of Symbolic Logic 27 (4):400-406.details
|
|
Topological reasoning and the logic of knowledge.Andrew Dabrowski, Lawrence S. Moss & Rohit Parikh - 1996 - Annals of Pure and Applied Logic 78 (1-3):73-110.details
|
|
The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.details
|
|
Analogues of Bull’s theorem for hybrid logic.Willem Conradie & Claudette Robinson - 2019 - Logic Journal of the IGPL 27 (3):281-313.details
|
|
Characteristic Inference Rules.Alex Citkin - 2015 - Logica Universalis 9 (1):27-46.details
|
|
Completeness of a functional system for surjective functions.Alfredo Burrieza, Inmaculada Fortes & Inmaculada Pérez de Guzmán - 2017 - Mathematical Logic Quarterly 63 (6):574-597.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
|
|
Stable modal logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2018 - Review of Symbolic Logic 11 (3):436-469.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
|
|
A Topological Approach to Full Belief.Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün & Sonja Smets - 2019 - Journal of Philosophical Logic 48 (2):205-244.details
|
|
Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Modalité et changement: δύναμις et cinétique aristotélicienne.Marion Florian - 2023 - Dissertation, Université Catholique de Louvaindetails
|
|
Mathematical Logic.Philip Kremer - unknowndetails
|
|
The topological product of s4 and S.Philip Kremer - unknowndetails
|
|
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.details
|
|