217 results in 03BXX
DYNAMIC HYPERINTENSIONAL BELIEF REVISION
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 21 July 2020, pp. 766-811
- Print publication:
- September 2021
-
- Article
- Export citation
SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 10 July 2020, pp. 1006-1043
- Print publication:
- September 2020
-
- Article
- Export citation
THE POWER OF NAIVE TRUTH
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 06 July 2020, pp. 225-258
- Print publication:
- March 2022
-
- Article
- Export citation
KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 02 July 2020, pp. 687-727
- Print publication:
- September 2021
-
- Article
- Export citation
A BRIDGE BETWEEN Q-WORLDS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 02 July 2020, pp. 447-486
- Print publication:
- June 2021
-
- Article
- Export citation
NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 29 June 2020, pp. 22-50
- Print publication:
- March 2021
-
- Article
- Export citation
HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM?
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 29 June 2020, pp. 487-504
- Print publication:
- June 2022
-
- Article
- Export citation
VOLUNTARY IMAGINATION: A FINE-GRAINED ANALYSIS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 29 June 2020, pp. 362-387
- Print publication:
- June 2022
-
- Article
- Export citation
WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 25 June 2020, pp. 1-21
- Print publication:
- March 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE LOGIC OF COMPARATIVE CARDINALITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 22 June 2020, pp. 972-1005
- Print publication:
- September 2020
-
- Article
- Export citation
COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 15 June 2020, pp. 498-507
- Print publication:
- June 2022
-
- Article
- Export citation
INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 18 June 2020, pp. 749-772
- Print publication:
- June 2020
-
- Article
- Export citation
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 18 June 2020, pp. 563-584
- Print publication:
- June 2020
-
- Article
-
- You have access
- Open access
- Export citation
HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 20 July 2020, pp. 709-732
- Print publication:
- June 2020
-
- Article
- Export citation
DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 16 June 2020, pp. 539-562
- Print publication:
- June 2020
-
- Article
- Export citation
WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 10 June 2020, pp. 26-79
- Print publication:
- March 2020
-
- Article
-
- You have access
- Open access
- Export citation
DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 12 December 2019, pp. 133-164
- Print publication:
- March 2022
-
- Article
- Export citation
SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 09 December 2019, pp. 187-224
- Print publication:
- March 2021
-
- Article
- Export citation
NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 18 November 2019, pp. 250-284
- Print publication:
- March 2021
-
- Article
- Export citation
Deciding the Existence of Minority Terms
- Part of
-
- Journal:
- Canadian Mathematical Bulletin / Volume 63 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 24 October 2019, pp. 577-591
- Print publication:
- September 2020
-
- Article
- Export citation