- World theory.Ovidiu Cristinel Stoica - unknowndetails
|
|
Proof theory of epistemic logic of programs.Paolo Maffezioli & Alberto Naibo - 2014 - Logic and Logical Philosophy 23 (3):301--328.details
|
|
On bifurcated supertasks and related questions.Antonio Leon - unknowndetails
|
|
Universality of Logic.Jan Woleński - 2017 - Bulletin of the Section of Logic 46 (1/2).details
|
|
The aleph zero or zero dichotomy.Antonio Leon - 2006details
|
|
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
|
|
The McKinsey–Lemmon logic is barely canonical.Robert Goldblatt & Ian Hodkinson - 2007 - Australasian Journal of Logic 5:1-19.details
|
|
Completeness of an Action Logic for Timed Transition Systems.Fernando Náufel do Amaral & Edward Hermann Haeusler - 2000 - Bulletin of the Section of Logic 29 (4):151-160.details
|
|
A Cantorian argument against infinitesimals.Matthew E. Moore - 2002 - Synthese 133 (3):305 - 330.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
|
|
When is a Schema Not a Schema? On a Remark by Suszko.Lloyd Humberstone & Allen Hazen - 2020 - Studia Logica 108 (2):199-220.details
|
|
Teoria kategorii i niektóre jej logiczne aspekty (Category theory and some of its logical aspects).Mariusz Stopa - 2018 - Philosophical Problems in Science 64:7-58.details
|
|
Frame problem in dynamic logic.Dongmo Zhang & Norman Foo - 2005 - Journal of Applied Non-Classical Logics 15 (2):215-239.details
|
|
Paraconsistent Measurement of the Circle.Zach Weber & Maarten McKubre-Jordens - 2017 - Australasian Journal of Logic 14 (1).details
|
|
Canonicity for intensional logics without iterative axioms.Timothy J. Surendonk - 1997 - Journal of Philosophical Logic 26 (4):391-409.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
|
|
Albert Lautman, philosophe des mathématiques.Jean-Pierre Marquis - 2010 - Philosophiques 37 (1):3-7.details
|
|
Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes.Rob Goldblatt - 2021 - Australasian Journal of Logic 18 (4).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
|
|
A Modal Logic for Discretely Descending Chains of Sets.Heinemann Bernhard - 2004 - Studia Logica 76 (1):67 - 90.details
|
|
Reasoning about Quantum Actions: A Logician's Perspective.Sonja Smets - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. pp. 125--134.details
|
|
Propositional dynamic logic with belnapian truth values.Igor Sedlár - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 503-519.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
|
|