- Internality, transfer, and infinitesimal modeling of infinite processes†.Emanuele Bottazzi & Mikhail G. Katz - forthcoming - Philosophia Mathematica.details
|
|
Juliette Kennedy.* Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, Formalism Freeness.Penelope J. Maddy - 2021 - Philosophia Mathematica 29 (3):428-438.details
|
|
Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.details
|
|
Goldblatt-Thomason-style Theorems for Graded Modal Language.Katsuhiko Sano & Minghui Ma - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 330-349.details
|
|
Extending Introspection.Lukas Schwengerer - 2021 - In Inês Hipólito, Robert William Clowes & Klaus Gärtner (eds.), The Mind-Technology Problem : Investigating Minds, Selves and 21st Century Artefacts. Springer Verlag. pp. 231-251.details
|
|
Етика и истина у доба кризе.Nenad Cekić (ed.) - 2021 - Belgrade: University of Belgrade - Faculty of Philosophy.details
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Local Goldblatt–Thomason theorem.Evgeny Zolin - 2015 - Logic Journal of the IGPL 23 (6):861-880.details
|
|
Scopeless quantifiers and operators.Thomas Ede Zimmermann - 1993 - Journal of Philosophical Logic 22 (5):545 - 561.details
|
|
Combinations of tense and modality for predicate logic.Stefan Wölfl - 1999 - Journal of Philosophical Logic 28 (4):371-398.details
|
|
The variety of lattice-ordered monoids generated by the natural numbers.Annika M. Wille - 2004 - Studia Logica 76 (2):275 - 290.details
|
|
Von Neumann coordinatization is not first-order.Friedrich Wehrung - 2006 - Journal of Mathematical Logic 6 (01):1-24.details
|
|
Boolean universes above Boolean models.Friedrich Wehrung - 1993 - Journal of Symbolic Logic 58 (4):1219-1250.details
|
|
Classifying ℵo-categorical theories II: The existence of finitely axiomatizable proper class II theories.George Weaver & David Lippel - 1998 - Studia Logica 60 (2):275-297.details
|
|
Logic of transition systems.Johan Van Benthem & Jan Bergstra - 1994 - Journal of Logic, Language and Information 3 (4):247-283.details
|
|
Localizing the axioms.Athanassios Tzouvaras - 2010 - Archive for Mathematical Logic 49 (5):571-601.details
|
|
Bolzano’s Infinite Quantities.Kateřina Trlifajová - 2018 - Foundations of Science 23 (4):681-704.details
|
|
On the Adequacy of a Substructural Logic for Mathematics and Science.Neil Tennant - 2022 - Philosophical Quarterly 72 (4):1002-1018.details
|
|
The Representational Semantic Conception.Mauricio Suárez & Francesca Pero - 2019 - Philosophy of Science 86 (2):344-365.details
|
|
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.details
|
|
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (1):93-132.details
|
|
A note on algebras of substitutions.Gábor Sági - 2002 - Studia Logica 72 (2):265-284.details
|
|
Zwart and Franssen’s impossibility theorem holds for possible-world-accounts but not for consequence-accounts to verisimilitude.Gerhard Schurz & Paul Weingartner - 2010 - Synthese 172 (3):415 - 436.details
|
|
Falsifiability and the semantic eliminability of theoretical languages.Robert A. Rynasiewicz - 1983 - British Journal for the Philosophy of Science 34 (3):225-241.details
|
|
Revision Without Revision Sequences: Circular Definitions.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (1):57-85.details
|
|
The old and the new logic of metascience.Veikko Rantala - 1978 - Synthese 39 (2):233 - 247.details
|
|
Elementary polyhedral mereotopology.Ian Pratt-Hartmann & Dominik Schoop - 2002 - Journal of Philosophical Logic 31 (5):469-498.details
|
|
On ultrafilter extensions of first-order models and ultrafilter interpretations.Nikolai L. Poliakov & Denis I. Saveliev - 2021 - Archive for Mathematical Logic 60 (5):625-681.details
|
|
Varieties of misrepresentation and homomorphism.Francesca Pero & Mauricio Suárez - 2016 - European Journal for Philosophy of Science 6 (1):71-90.details
|
|
Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity.Victor Pambuccian - 2002 - Synthese 133 (3):331 - 341.details
|
|
Common Logic and the Horatio problem.Fabian Neuhaus & Pat Hayes - 2012 - Applied ontology 7 (2):211-231.details
|
|
About a logic of measurability.Arto Mutanen - 2010 - E-Logos 17 (1):1-19.details
|
|
Logics From Ultrafilters.Daniele Mundici - forthcoming - Review of Symbolic Logic:1-18.details
|
|
The Doctrinal Paradox, the Discursive Dilemma, and Logical Aggregation theory.Philippe Mongin - 2012 - Theory and Decision 73 (3):315-355.details
|
|
Axiomatizing relativistic dynamics using formal thought experiments.Attila Molnár & Gergely Székely - 2015 - Synthese 192 (7):2183-2222.details
|
|
What is Nominalistic Mereology?Jeremy Meyers - 2012 - Journal of Philosophical Logic 43 (1):71-108.details
|
|
Sets and supersets.Toby Meadows - 2016 - Synthese 193 (6):1875-1907.details
|
|
The model theory of differential fields with finitely many commuting derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.details
|
|
What Was the Syntax‐Semantics Debate in the Philosophy of Science About?Sebastian Lutz - 2017 - Philosophy and Phenomenological Research 95 (2):319-352.details
|
|
Generalizing empirical adequacy I: multiplicity and approximation.Sebastian Lutz - 2014 - Synthese 191 (14):3195-3225.details
|
|
Generalizing Empirical Adequacy II: Partial Structures.Sebastian Lutz - 2021 - Synthese 198 (2):1351-1380.details
|
|
Theories of truth which have no standard models.Hannes Leitgeb - 2001 - Studia Logica 68 (1):69-87.details
|
|
Background Independence in Quantum Gravity and Forcing Constructions.Jerzy Król - 2004 - Foundations of Physics 34 (3):361-403.details
|
|
Some supervaluation-based consequence relations.Philip Kremer & Michael Kremer - 2003 - Journal of Philosophical Logic 32 (3):225-244.details
|
|
On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.details
|
|
A Logic for Multiple-source Approximation Systems with Distributed Knowledge Base.Md Aquil Khan & Mohua Banerjee - 2011 - Journal of Philosophical Logic 40 (5):663-692.details
|
|
Dialectical Contradictions and Classical Formal Logic.Inoue Kazumi - 2014 - International Studies in the Philosophy of Science 28 (2):113-132.details
|
|
Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics.Vladimir Kanovei, Mikhail G. Katz & Thomas Mormann - 2013 - Foundations of Science 18 (2):259-296.details
|
|
A definable nonstandard model of the reals.Vladimir Kanovei & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (1):159-164.details
|
|