- Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
On Rosser's Provability Predicate.V. Yu Shavrukov - 1991 - Mathematical Logic Quarterly 37 (19‐22):317-330.details
|
|
On Rosser's Provability Predicate.V. Yu Shavrukov - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (19-22):317-330.details
|
|
The unprovability of small inconsistency.Albert Visser - 1993 - Archive for Mathematical Logic 32 (4):275-298.details
|
|
The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.details
|
|
Some modal aspects of XPath.Balder ten Cate, Gaëlle Fontaine & Tadeusz Litak - 2010 - Journal of Applied Non-Classical Logics 20 (3):139-171.details
|
|
Speaking about transitive frames in propositional languages.Yasuhito Suzuki, Frank Wolter & Michael Zakharyaschev - 1998 - Journal of Logic, Language and Information 7 (3):317-339.details
|
|
Paradoxes of Interaction?Johannes Stern & Martin Fischer - 2015 - Journal of Philosophical Logic 44 (3):287-308.details
|
|
Arithmetic analogues of McAloon's unique Rosser sentences.C. Smoryński - 1989 - Archive for Mathematical Logic 28 (1):1-21.details
|
|
The lindenbaum fixed point algebra is undecidable.V. Yu Shavrukov - 1991 - Studia Logica 50 (1):143-147.details
|
|
Quantified Quinean S.Paul Schweizer - 1993 - Journal of Philosophical Logic 22 (6):589 - 605.details
|
|
A note on the interpretability logic of finitely axiomatized theories.Maarten Rijke - 1991 - Studia Logica 50 (2):241 - 250.details
|
|
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.details
|
|
On the structure of paradoxes.Du?ko Pavlovi? - 1992 - Archive for Mathematical Logic 31 (6):397-406.details
|
|
Algebraization of quantifier logics, an introductory overview.István Németi - 1991 - Studia Logica 50 (3-4):485 - 569.details
|
|
Nonmonotonicity in (the metamathematics of) arithmetic.Karl-Georg Niebergall - 1999 - Erkenntnis 50 (2-3):309-332.details
|
|
Hilbert's programme and gödel's theorems.Karl-Georg Niebergall & Matthias Schirn - 2002 - Dialectica 56 (4):347–370.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
|
|
Rosser and mostowski sentences.Franco Montagna & Giovanni Sommaruga - 1988 - Archive for Mathematical Logic 27 (2):115-133.details
|
|
A Short Note on Essentially Σ1 Sentences.Franco Montagna & Duccio Pianigiani - 2013 - Logica Universalis 7 (1):103-111.details
|
|
A note on some extension results.Franco Montagna & Giovanni Sommaruga - 1990 - Studia Logica 49 (4):591 - 600.details
|
|
Essay Review.M. Detlefsen - 1988 - History and Philosophy of Logic 9 (1):93-105.details
|
|
Interpretability in reflexive theories - a survey.Per Lindström - 1997 - Theoria 63 (3):182-209.details
|
|
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.details
|
|
Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.details
|
|
Henkin sentences and local reflection principles for Rosser provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.details
|
|
On the Difficulty of Writing Out formal Proofs in Arithmetic.Ryo Kashima & Takeshi Yamaguchi - 1997 - Mathematical Logic Quarterly 43 (3):328-332.details
|
|
Rosser orderings and free variables.Dick Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71 - 80.details
|
|
On the proof of Solovay's theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.details
|
|
Generic generalized Rosser fixed points.Dick H. J. Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193 - 203.details
|
|
Explicit fixed points in interpretability logic.Dick Jongh & Albert Visser - 1991 - Studia Logica 50 (1):39 - 49.details
|
|
A simplification of a completeness proof of Guaspari and Solovay.Dick H. J. Jongh - 1987 - Studia Logica 46 (2):187 - 192.details
|
|
Inverses for normal modal operators.Lloyd Humberstone & Timothy Williamson - 1997 - Studia Logica 59 (1):33-64.details
|
|
Inverse Images of Box Formulas in Modal Logic.Lloyd Humberstone - 2013 - Studia Logica 101 (5):1031-1060.details
|
|
The logic of π1-conservativity.Petr Hajek & Franco Montagna - 1990 - Archive for Mathematical Logic 30 (2):113-123.details
|
|
The logic ofII 1-conservativity continued.Petr Hájek & Franco Montagna - 1992 - Archive for Mathematical Logic 32 (1):57-63.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
|
|
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.details
|
|
Proof-theoretic modal pa-completeness I: A system-sequent metric.Paolo Gentilini - 1999 - Studia Logica 63 (1):27-48.details
|
|
Provability logic in the Gentzen formulation of arithmetic.Paolo Gentilini & P. Gentilini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):535-550.details
|
|
Provability logic in the Gentzen formulation of arithmetic.Paolo Gentilini & P. Gentilini - 1992 - Mathematical Logic Quarterly 38 (1):535-550.details
|
|
Saving the truth schema from paradox.Hartry Field - 2002 - Journal of Philosophical Logic 31 (1):1-27.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
|
|
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.details
|
|
A note on the interpretability logic of finitely axiomatized theories.Maarten de Rijke - 1991 - Studia Logica 50 (2):241-250.details
|
|
Rosser orderings and free variables.Dick de Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71-80.details
|
|
Provable Fixed Points.Dick De Jongh & Franco Montagna - 1988 - Mathematical Logic Quarterly 34 (3):229-250.details
|
|
Provable Fixed Points.Dick De Jongh & Franco Montagna - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):229-250.details
|
|
On the proof of Solovay's theorem.Dick de Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51-69.details
|
|