- Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Hyperdoctrines and the Ontology of Stratified Semantics.Shay Logan - 2020 - In Davide Fazio, Antonio Ledda & Francesco Paoli (eds.), Algebraic Perspectives on Substructural Logics. Springer International Publishing. pp. 169-193.details
|
|
Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation.Ryo Kashima - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 200-217.details
|
|
Topological Completeness of First-Order Modal Logics.Steve Awodey & Kohei Kishida - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-17.details
|
|
A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.Timothy Bowen - manuscriptdetails
|
|
Forms of Luminosity.Hasen Khudairi - 2017details
|
|
Concepte și teorii social-politice.Eugen Huzum (ed.) - 2011 - Iasi: Institutul European.details
|
|
Frame problem in dynamic logic.Dongmo Zhang & Norman Foo - 2005 - Journal of Applied Non-Classical Logics 15 (2):215-239.details
|
|
A Categorial Semantic Representation of Quantum Event Structures.Elias Zafiris & Vassilios Karakostas - 2013 - Foundations of Physics 43 (9):1090-1123.details
|
|
Universality of Logic.Jan Woleński - 2017 - Bulletin of the Section of Logic 46 (1/2).details
|
|
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.details
|
|
Paraconsistent Measurement of the Circle.Zach Weber & Maarten McKubre-Jordens - 2017 - Australasian Journal of Logic 14 (1).details
|
|
Logic of transition systems.Johan Van Benthem & Jan Bergstra - 1994 - Journal of Logic, Language and Information 3 (4):247-283.details
|
|
Structuring Co-constructive Logic for Proofs and Refutations.James Trafford - 2016 - Logica Universalis 10 (1):67-97.details
|
|
A Geometrical Characterization of the Twin Paradox and its Variants.Gergely Székely - 2010 - Studia Logica 95 (1-2):161 - 182.details
|
|
Relativizing Relativity.K. Svozil - 2000 - Foundations of Physics 30 (7):1001-1016.details
|
|
Canonicity for intensional logics without iterative axioms.Timothy J. Surendonk - 1997 - Journal of Philosophical Logic 26 (4):391-409.details
|
|
A canonical topological model for extensions of K4.Christopher Steinsvold - 2010 - Studia Logica 94 (3):433 - 441.details
|
|
Getting started: Beginnings in the logic of action.Krister Segerberg - 1992 - Studia Logica 51 (3-4):347 - 378.details
|
|
Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?Ildikó Sain - 1988 - Studia Logica 47 (3):279 - 301.details
|
|
Beyond Transcendentalism and Naturalization: A Categorial Framework for the Semiotic Phenomenology.Martina Properzi - 2019 - International Journal of Philosophy 7 (3):122.details
|
|
Correspondence as an intertheory relation.David Pearce & Veikko Rantala - 1983 - Studia Logica 42 (2-3):363 - 371.details
|
|
Structuralist reduction concepts as structure-preserving maps.Thomas Mormann - 1988 - Synthese 77 (2):215 - 250.details
|
|
A Cantorian argument against infinitesimals.Matthew E. Moore - 2002 - Synthese 133 (3):305 - 330.details
|
|
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.details
|
|
Albert Lautman, philosophe des mathématiques.Jean-Pierre Marquis - 2010 - Philosophiques 37 (1):3-7.details
|
|
Proof theory of epistemic logic of programs.Paolo Maffezioli & Alberto Naibo - 2014 - Logic and Logical Philosophy 23 (3):301--328.details
|
|
No Categorial Support for Radical Ontic Structural Realism.Vincent Lam & Christian Wüthrich - 2015 - British Journal for the Philosophy of Science 66 (3):605-634.details
|
|
Bimodal Logics with a “Weakly Connected” Component without the Finite Model Property.Agi Kurucz - 2017 - Notre Dame Journal of Formal Logic 58 (2):287-299.details
|
|
On a Simple 3-valued Modal Language and a 3-valued Logic of ‘not-fully-justified’ Belief.Costas Koutras, Christos Nomikos & Pavlos Peppas - 2008 - Logic Journal of the IGPL 16 (6):591-604.details
|
|
Free Definite Description Theory – Sequent Calculi and Cut Elimination.Andrzej Indrzejczak - forthcoming - Logic and Logical Philosophy:1.details
|
|
When is a Schema Not a Schema? On a Remark by Suszko.Lloyd Humberstone & Allen Hazen - 2020 - Studia Logica 108 (2):199-220.details
|
|
On canonicity and completions of weakly representable relation algebras.Ian Hodkinson & Szabolcs Mikulás - 2012 - Journal of Symbolic Logic 77 (1):245-262.details
|
|
Category Free Category Theory and Its Philosophical Implications.Michael Heller - 2016 - Logic and Logical Philosophy 25 (4):447-459.details
|
|
Group announcement logic.Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban - 2010 - Journal of Applied Logic 8 (1):62-81.details
|
|
Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.details
|
|
Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.details
|
|
The McKinsey–Lemmon logic is barely canonical.Robert Goldblatt & Ian Hodkinson - 2007 - Australasian Journal of Logic 5:1-19.details
|
|
The Finite Model Property for Logics with the Tangle Modality.Robert Goldblatt & Ian Hodkinson - 2018 - Studia Logica 106 (1):131-166.details
|
|
Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes.Rob Goldblatt - 2021 - Australasian Journal of Logic 18 (4).details
|
|
Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.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
|
|
Entangled Memories: How to Study Europe’s Cultural Heritage.Gerard Delanty - 2017 - The European Legacy 22 (2):129-145.details
|
|
Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.details
|
|
A Modal Logic for Discretely Descending Chains of Sets.Heinemann Bernhard - 2004 - Studia Logica 76 (1):67 - 90.details
|
|
One Connection between Standard Invariance Conditions on Modal Formulas and Generalized Quantifiers.Dorit Ben Shalom - 2003 - Journal of Logic, Language and Information 12 (1):47-52.details
|
|
From absolute to local mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.details
|
|
Categories, toposes and sets.J. L. Bell - 1982 - Synthese 51 (3):293 - 337.details
|
|
La dualité de Lautman contre la négativité de Hegel, et le paradoxe de leurs formalisations : Contribution à une enquête sur les formalisations de la dialectique.Emmanuel Barot - 2010 - Philosophiques 37 (1):111-148.details
|
|
Everettian Mechanics with Hyperfinitely Many Worlds.Jeffrey Barrett & Isaac Goldbring - 2022 - Erkenntnis:1-20.details
|
|