9 results
The Road to Paradox
- A Guide to Syntax, Truth and Modality
- Coming soon
-
- Expected online publication date:
- October 2024
- Print publication:
- 31 October 2024
-
- Book
- Export citation
PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 04 September 2023, pp. 1-50
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE COPERNICAN MULTIVERSE OF SETS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 14 June 2021, pp. 1033-1069
- Print publication:
- December 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 845-865
- Print publication:
- September 2015
-
- Article
- Export citation
AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 4 / December 2013
- Published online by Cambridge University Press:
- 28 August 2013, pp. 613-636
- Print publication:
- December 2013
-
- Article
- Export citation
The Friedman-Sheard programme in intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 777-806
- Print publication:
- September 2012
-
- Article
- Export citation
REVISION REVISITED
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 18 July 2012, pp. 642-664
- Print publication:
- December 2012
-
- Article
- Export citation
S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 (1991), no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 (1986), no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 (2006), no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 (1987), no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 (1994), no. 3, pp. 311–327.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 424-428
- Print publication:
- September 2010
-
- Article
- Export citation
Contributors
-
-
- Book:
- The Cambridge Handbook of Forensic Psychology
- Published online:
- 06 July 2010
- Print publication:
- 29 April 2010, pp xix-xxiii
-
- Chapter
- Export citation