- Modal Cognitivism and Modal Expressivism.Timothy Bowen - manuscriptdetails
|
|
Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Hyperintensional Ω-Logic.Hasen Khudairi - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag. pp. 65-82.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
|
|
The d-Logic of the Rational Numbers: A Fruitful Construction.Joel Lucero-Bryan - 2011 - Studia Logica 97 (2):265-295.details
|
|
Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.details
|
|
Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 151-176.details
|
|
Absolute Completeness of S4u for Its Measure-Theoretic Semantics.David Fernández-Duque - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 100-119.details
|
|
Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders.Philippe Baldiani & Levan Uridia - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 71-88.details
|
|
Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication.Ahti-Viekko Pietarinen - 2006 - Dordrecht, Netherland: Springer.details
|
|
Dynamic Formal Epistemology.Patrick Girard, Olivier Roy & Mathieu Marion (eds.) - 2010 - Berlin, Germany: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Physical Necessitism.Timothy Bowen - manuscriptdetails
|
|
Heyting Algebras: Duality Theory.Leo Esakia - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Topological Foundations of Cognitive Science.Carola Eschenbach, Christopher Habel & Barry Smith (eds.) - 1984 - Hamburg: Graduiertenkolleg Kognitionswissenschaft.details
|
|
Forms of Luminosity.Hasen Khudairi - 2017details
|
|
Luminosity and vagueness.Elia Zardini - 2012 - Dialectica 66 (3):375-410.details
|
|
From Interior Algebras to Unital ℓ-Groups: A Unifying Treatment of Modal Residuated Lattices.William Young - 2015 - Studia Logica 103 (2):265-286.details
|
|
Notes on the geometry of logic and philosophy.Marcin Wolski - 2002 - Logic and Logical Philosophy 10:223.details
|
|
Modalities as interactions between the classical and the intuitionistic logics.Michał Walicki - 2006 - Logic and Logical Philosophy 15 (3):193-215.details
|
|
The perfect surprise: a new analysis in dynamic epistemic logic.Leander Vignero & Lorenz Demey - 2020 - Logic Journal of the IGPL 28 (3):341-362.details
|
|
Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics.Frederik Van De Putte & Dominik Klein - 2022 - Journal of Philosophical Logic 51 (3):485-523.details
|
|
Multimo dal logics of products of topologies.J. van Benthem, G. Bezhanishvili, B. ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369-392.details
|
|
Multimo dal Logics of Products of Topologies.Johan van Benthem, Guram Bezhanishvili, Balder ten Cate & Darko Sarenac - 2006 - Studia Logica 84 (3):369-392.details
|
|
Announcement as effort on topological spaces.Hans van Ditmarsch, Sophia Knight & Aybüke Özgün - 2019 - Synthese 196 (7):2927-2969.details
|
|
Modal languages for topology: Expressivity and definability.Balder ten Cate, David Gabelaia & Dmitry Sustretov - 2009 - Annals of Pure and Applied Logic 159 (1-2):146-170.details
|
|
B-varieties with normal free algebras.Bronis?aw Tembrowski - 1989 - Studia Logica 48 (4):555 - 564.details
|
|
Hybrid logics of separation axioms.Dmitry Sustretov - 2009 - Journal of Logic, Language and Information 18 (4):541-558.details
|
|
Mass Problems and Intuitionism.Stephen G. Simpson - 2008 - Notre Dame Journal of Formal Logic 49 (2):127-136.details
|
|
A Note on Logics of Ignorance and Borders.Christopher Steinsvold - 2008 - Notre Dame Journal of Formal Logic 49 (4):385-392.details
|
|
A canonical topological model for extensions of K4.Christopher Steinsvold - 2010 - Studia Logica 94 (3):433 - 441.details
|
|
A modal logic framework for reasoning about comparative distances and topology.Mikhail Sheremet, Frank Wolter & Michael Zakharyaschev - 2010 - Annals of Pure and Applied Logic 161 (4):534-559.details
|
|
Existentially Closed Closure Algebras.Philip Scowcroft - 2020 - Notre Dame Journal of Formal Logic 61 (4):623-661.details
|
|
A hyperintensional approach to positive epistemic possibility.Niccolò Rossi & Aybüke Özgün - 2023 - Synthese 202 (44):1-29.details
|
|
Willem Blok and Modal Logic.W. Rautenberg, M. Zakharyaschev & F. Wolter - 2006 - Studia Logica 83 (1):15-30.details
|
|
Propositional Quantification in the Topological Semantics for S.Philip Kremer - 1997 - Notre Dame Journal of Formal Logic 38 (2):295-313.details
|
|
Distributive lattices with an operator.Alejandro Petrovich - 1996 - Studia Logica 56 (1-2):205 - 224.details
|
|
The intensional side of algebraic-topological representation theorems.Sara Negri - 2017 - Synthese 198 (Suppl 5):1121-1143.details
|
|
On modal logic of deductive closure.Pavel Naumov - 2006 - Annals of Pure and Applied Logic 141 (1):218-224.details
|
|
On Modal Logics of Partial Recursive Functions.Pavel Naumov - 2005 - Studia Logica 81 (3):295-309.details
|
|
Foreword.Daniele Mundici - 1998 - Studia Logica 61 (1):1-1.details
|
|
Topological Models of Columnar Vagueness.Thomas Mormann - 2022 - Erkenntnis 87 (2):693 - 716.details
|
|
JTB Epistemology and the Gettier problem in the framework of topological epistemic logic.Thomas Mormann - 2023 - Review of Analytic Philosophy 3 (1):1 - 41.details
|
|
Prototypes, poles, and tessellations: towards a topological theory of conceptual spaces.Thomas Mormann - 2021 - Synthese 199 (1-2):3675-3710.details
|
|
JTB-Epistemology and the Gettier Problem in the framework of topological epistemic logic.Thomas Mormann - 2023 - Review of Analytic Philosophy 3 (1):1 - 41.details
|
|
Heyting Mereology as a Framework for Spatial Reasoning.Thomas Mormann - 2013 - Axiomathes 23 (1):137- 164.details
|
|
Completeness and Doxastic Plurality for Topological Operators of Knowledge and Belief.Thomas Mormann - 2023 - Erkenntnis: 1 - 34, ONLINE.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
|
|
Modes of Adjointness.M. Menni & C. Smith - 2013 - Journal of Philosophical Logic (2-3):1-27.details
|
|
Completeness results for intuitionistic and modal logic in a categorical setting.M. Makkai & G. E. Reyes - 1995 - Annals of Pure and Applied Logic 72 (1):25-101.details
|
|