217 results in 03BXX
New Directions in Duality Theory for Modal Logic
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 28 February 2022, p. 527
- Print publication:
- December 2021
-
- Article
-
- You have access
- Export citation
Continuous Abstract Data Types for Verified Computation
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 28 February 2022, p. 531
- Print publication:
- December 2021
-
- Article
-
- You have access
- Export citation
Second-Order Modal Logic
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 28 February 2022, pp. 530-531
- Print publication:
- December 2021
-
- Article
-
- You have access
- Export citation
THE REVERSE MATHEMATICS OF THE THIN SET AND ERDŐS–MOSER THEOREMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 24 November 2021, pp. 313-346
- Print publication:
- March 2022
-
- Article
- Export citation
PREDICATIVISM AS A FORM OF POTENTIALISM
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 23 November 2021, pp. 1-32
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
STRUCTURAL CONSIDERATIONS OF RAMSEY ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 29 October 2021, pp. 1677-1692
- Print publication:
- December 2022
-
- Article
- Export citation
MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 08 October 2021, pp. 1322-1348
- Print publication:
- December 2022
-
- Article
- Export citation
ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 27 September 2021, pp. 426-435
- Print publication:
- December 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
$G_{\delta \sigma }$ GAMES AND INDUCTION ON REALS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 13 September 2021, pp. 1676-1690
- Print publication:
- December 2021
-
- Article
- Export citation
ON EQUATIONAL COMPLETENESS THEOREMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 13 September 2021, pp. 1522-1575
- Print publication:
- December 2022
-
- Article
- Export citation
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 31 August 2021, pp. 311-333
- Print publication:
- June 2022
-
- Article
- Export citation
FRACTIONAL-VALUED MODAL LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 31 August 2021, pp. 1033-1052
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 08 July 2021, pp. 529-552
- Print publication:
- June 2023
-
- Article
- Export citation
THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 08 July 2021, pp. 1023-1032
- Print publication:
- December 2022
-
- Article
- Export citation
A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 02 July 2021, pp. 369-384
- Print publication:
- June 2023
-
- Article
- Export citation
IMPROVING STRONG NEGATION
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 02 July 2021, pp. 951-977
- Print publication:
- September 2023
-
- Article
- Export citation
RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 02 July 2021, pp. 624-649
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 02 July 2021, pp. 771-806
- Print publication:
- September 2022
-
- Article
- Export citation
PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 11 June 2021, pp. 1124-1153
- Print publication:
- September 2021
-
- Article
- Export citation
ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 10 June 2021, pp. 1154-1188
- Print publication:
- September 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation