- 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
|
|
Von Neumann coordinatization is not first-order.Friedrich Wehrung - 2006 - Journal of Mathematical Logic 6 (01):1-24.details
|
|
A logic road from special relativity to general relativity.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2012 - Synthese 186 (3):633 - 649.details
|
|
The Doctrinal Paradox, the Discursive Dilemma, and Logical Aggregation theory.Philippe Mongin - 2012 - Theory and Decision 73 (3):315-355.details
|
|
Regularity and Hyperreal Credences.Kenny Easwaran - 2014 - Philosophical Review 123 (1):1-41.details
|
|
Issues in the foundations of science, I: Languages, structures, and models.Newton C. A. da Costa, Décio Krause & Otávio Bueno - unknowndetails
|
|
(1 other version)Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341 - 357.details
|
|
Constrained semantic transference: A formal theory of metaphors.Bipin Indurkhya - 1986 - Synthese 68 (3):515 - 551.details
|
|
(1 other version)Boolean universes above Boolean models.Friedrich Wehrung - 1993 - Journal of Symbolic Logic 58 (4):1219-1250.details
|
|
(1 other version)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
|
|
An institution-independent proof of Craig interpolation theorem.Răzvan Diaconescu - 2004 - Studia Logica 77 (1):59 - 79.details
|
|
What is computation?B. Jack Copeland - 1996 - Synthese 108 (3):335-59.details
|
|
The dynamic emergence of representation.Mark H. Bickhard - 2004 - In Hugh Clapin (ed.), Representation in Mind: New Approaches to Mental Representation. Elsevier. pp. 71--90.details
|
|
Етика и истина у доба кризе.Nenad Cekić (ed.) - 2021 - Belgrade: University of Belgrade - Faculty of Philosophy.details
|
|
(2 other versions)Introduction to CAT4. Part 1. Axioms.Andrew Thomas Holster - manuscriptdetails
|
|
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
|
|
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
|
|
(2 other versions)Introduction to CAT4. Part 3. Semantics.Andrew Thomas Holster - manuscriptdetails
|
|
Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
A Formal Analysis of the Best System Account of Lawhood.Giovanni Cinà - 2014 - Rivista Italiana di Filosofia Analitica Junior 5 (1):59-73.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.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
|
|
What is Nominalistic Mereology?Jeremy Meyers - 2012 - Journal of Philosophical Logic 43 (1):71-108.details
|
|
First-order modal logic in the necessary framework of objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.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
|
|
Sets and supersets.Toby Meadows - 2016 - Synthese 193 (6):1875-1907.details
|
|
Dialectical Contradictions and Classical Formal Logic.Inoue Kazumi - 2014 - International Studies in the Philosophy of Science 28 (2):113-132.details
|
|
Constructing Situations and Time.Tim Fernando - 2011 - Journal of Philosophical Logic 40 (3):371 - 396.details
|
|
What kind of logic is “Independence Friendly” logic?Solomon Feferman - unknowndetails
|
|
(1 other version)A definable nonstandard model of the reals.Vladimir Kanovei & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (1):159-164.details
|
|
Underspecified semantics.Reinhard Muskens - 2000 - In Klaus von Heusinger & Urs Egli (eds.), Reference and Anaphoric Relations. Kluwer Academic Publishers. pp. 311--338.details
|
|
Constructible models of orthomodular quantum logics.Piotr Wilczek - unknowndetails
|
|
Heterogeneous logic.I. L. Humberstone - 1988 - Erkenntnis 29 (3):395 - 435.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
|
|
Falsifiability and the semantic eliminability of theoretical languages.Robert A. Rynasiewicz - 1983 - British Journal for the Philosophy of Science 34 (3):225-241.details
|
|
(1 other version)Characterization classes defined without equality.R. Elgueta - 1997 - Studia Logica 58 (3):357-394.details
|
|
(1 other version)Finite variable logic, stability and finite models.Marko Djordjević - 2001 - Journal of Symbolic Logic 66 (2):837-858.details
|
|
A Modal Logic for Supervised Learning.Alexandru Baltag, Dazhu Li & Mina Young Pedersen - 2022 - Journal of Logic, Language and Information 31 (2):213-234.details
|
|
(1 other version)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
|
|
(2 other versions)Introduction to CAT4. Part 2. CAT2.Andrew Thomas Holster - manuscriptdetails
|
|
How to Believe Long Conjunctions of Beliefs: Probability, Quasi-Dogmatism and Contextualism.Stefano Bonzio, Gustavo Cevolani & Tommaso Flaminio - 2021 - Erkenntnis 88 (3):965-990.details
|
|
Lindström theorems in graded model theory.Guillermo Badia & Carles Noguera - 2021 - Annals of Pure and Applied Logic 172 (3):102916.details
|
|
Revision Without Revision Sequences: Circular Definitions.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (1):57-85.details
|
|
The Representational Semantic Conception.Mauricio Suárez & Francesca Pero - 2019 - Philosophy of Science 86 (2):344-365.details
|
|
(1 other version)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
|
|
Varieties of misrepresentation and homomorphism.Francesca Pero & Mauricio Suárez - 2016 - European Journal for Philosophy of Science 6 (1):71-90.details
|
|
Freedom and Enforcement in Action: A Study in Formal Action Theory.Janusz Czelakowski - 2015 - Dordrecht, Netherland: Springer.details
|
|
Localizing the axioms.Athanassios Tzouvaras - 2010 - Archive for Mathematical Logic 49 (5):571-601.details
|
|