- The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb.Albert Visser - 2020 - Archive for Mathematical Logic 60 (3-4):441-468.details
|
|
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.details
|
|
Anderson and Belnap’s Invitation to Sin.Alasdair Urquhart - 2010 - Journal of Philosophical Logic 39 (4):453 - 472.details
|
|
Transfinite Progressions: A Second Look At Completeness.Torkel Franzén - 2004 - Bulletin of Symbolic Logic 10 (3):367-389.details
|
|
A note on syntactical treatments of modality.Richmond H. Thomason - 1980 - Synthese 44 (3):391 - 395.details
|
|
Self-Reference, Self-Representation, and the Logic of Intentionality.Jochen Szangolies - 2023 - Erkenntnis 88 (6):2561-2590.details
|
|
The early history of formal diagonalization.C. Smoryński - 2023 - Logic Journal of the IGPL 31 (6):1203-1224.details
|
|
Calculating self-referential statements, I: Explicit calculations.Craig Smorynski - 1979 - Studia Logica 38 (1):17 - 36.details
|
|
Automated search for Gödel’s proofs.Wilfried Sieg & Clinton Field - 2005 - Annals of Pure and Applied Logic 133 (1):319-338.details
|
|
The modal logic of provability. The sequential approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.details
|
|
The Medieval Theory of Consequence.Stephen Read - 2012 - Synthese 187 (3):899-912.details
|
|
Self-reference and validity.Stephen Read - 1979 - Synthese 42 (2):265 - 274.details
|
|
Field's Paradox and Its Medieval Solution.Stephen Read - 2010 - History and Philosophy of Logic 31 (2):161-176.details
|
|
Reference in arithmetic.Lavinia Picollo - 2018 - Review of Symbolic Logic 11 (3):573-603.details
|
|
Autocircumscription.Donald Perlis - 1988 - Artificial Intelligence 36 (2):223-236.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
An incompleteness theorem for β n -models.Carl Mummert & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (2):612-616.details
|
|
On the algebraization of a Feferman's predicate.Franco Montagna - 1978 - Studia Logica 37 (3):221 - 236.details
|
|
For everyn, then-freely generated algebra is not functionally free in the equational class of diagonalizable algebras.Franco Montagna - 1975 - Studia Logica 34 (4):315 - 319.details
|
|
Gödel's Third Incompleteness Theorem.Timothy McCarthy - 2016 - Dialectica 70 (1):87-112.details
|
|
Rescuing Poincaré from Richard’s Paradox.Laureano Luna - 2017 - History and Philosophy of Logic 38 (1):57-71.details
|
|
Henkin sentences and local reflection principles for Rosser provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.details
|
|
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.details
|
|
Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems.G. Kreisel & A. Lévy - 1968 - Mathematical Logic Quarterly 14 (7-12):97-142.details
|
|
A representational account of mutual belief.Robert C. Koons - 1989 - Synthese 81 (1):21 - 45.details
|
|
Arithmetical completeness theorems for monotonic modal logics.Haruka Kogure & Taishi Kurahashi - 2023 - Annals of Pure and Applied Logic 174 (7):103271.details
|
|
A Negation-Free Version of the Berry Paradox.Robert E. Kirk - 1981 - Analysis 41 (4):223 - 224.details
|
|
Turing–Taylor Expansions for Arithmetic Theories.Joost J. Joosten - 2016 - Studia Logica 104 (6):1225-1243.details
|
|
Provability and Interpretability Logics with Restricted Realizations.Thomas F. Icard & Joost J. Joosten - 2012 - Notre Dame Journal of Formal Logic 53 (2):133-154.details
|
|
In what sense is the no-no paradox a paradox?Ming Hsiung - 2021 - Philosophical Studies 179 (6):1915-1937.details
|
|
Interpretability suprema in Peano Arithmetic.Paula Henk & Albert Visser - 2017 - Archive for Mathematical Logic 56 (5-6):555-584.details
|
|
Self-reference in arithmetic I.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):671-691.details
|
|
Rosser sentences.D. Guaspari - 1979 - Annals of Mathematical Logic 16 (1):81.details
|
|
The knower paradox in the light of provability interpretations of modal logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.details
|
|
Varieties of Self-Reference in Metamathematics.Balthasar Grabmayr, Volker Halbach & Lingyuan Ye - 2023 - Journal of Philosophical Logic 52 (4):1005-1052.details
|
|
On the Invariance of Gödel’s Second Theorem with Regard to Numberings.Balthasar Grabmayr - 2021 - Review of Symbolic Logic 14 (1):51-84.details
|
|
A Step Towards Absolute Versions of Metamathematical Results.Balthasar Grabmayr - 2024 - Journal of Philosophical Logic 53 (1):247-291.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
Arithmetical necessity, provability and intuitionistic logic.Rob Goldblatt - 1978 - Theoria 44 (1):38-46.details
|
|
The Gödelian Inferences.Curtis Franks - 2009 - History and Philosophy of Logic 30 (3):241-256.details
|
|
Aspects of the Real Numbers: Putnam, Wittgenstein, and Nonextensionalism.Juliet Floyd - 2020 - The Monist 103 (4):427-441.details
|
|
Truth, disjunction, and induction.Ali Enayat & Fedor Pakhomov - 2019 - Archive for Mathematical Logic 58 (5-6):753-766.details
|
|
Solutions to the Knower Paradox in the Light of Haack’s Criteria.Mirjam de Vos, Rineke Verbrugge & Barteld Kooi - 2023 - Journal of Philosophical Logic 52 (4):1101-1132.details
|
|
The importance of being Ernesto: Reference, truth and logical form.A. Bianchi, V. Morato & G. Spolaore (eds.) - 2016 - Padova: Padova University Press.details
|
|
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Cognitivism about Epistemic Modality.Hasen Khudairi - manuscriptdetails
|
|
Sanningens paradoxer: om ändliga och oändliga lögnare.Sten Lindström - 2000 - Filosofisk Tidskrift 3.details
|
|
Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'.Nils Kürbis - 2021 - Journal of Applied Logics 7 (8):2259-2261.details
|
|
The Development of Categorical Logic.John L. Bell - unknowndetails
|
|