7 results
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 20 April 2023, pp. 264-293
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 10 February 2023, pp. 465-502
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 23 January 2023, pp. 19-70
- Print publication:
- March 2023
-
- Article
-
- You have access
- HTML
- Export citation
PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 07 July 2022, pp. 351-368
- Print publication:
- June 2023
-
- Article
- Export citation
MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 18 February 2022, pp. 1374-1395
- Print publication:
- December 2022
-
- Article
- Export citation
CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 05 January 2021, pp. 113-167
- Print publication:
- June 2021
-
- Article
- Export citation
THE POTENTIAL IN FREGE’S THEOREM
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 25 August 2020, pp. 553-577
- Print publication:
- June 2023
-
- Article
- Export citation