13 results
STRONG COMPLETENESS OF A FIRST-ORDER TEMPORAL LOGIC FOR REAL TIME
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 22 May 2024, pp. 1-18
-
- Article
-
- You have access
- Open access
- HTML
- 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
TABULARITY AND POST-COMPLETENESS IN TENSE LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 07 April 2022, pp. 475-492
- Print publication:
- June 2024
-
- Article
-
- You have access
- HTML
- Export citation
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 04 February 2022, pp. 995-1022
- Print publication:
- September 2022
-
- Article
- Export citation
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 02 December 2021, pp. 164-187
- Print publication:
- March 2023
-
- Article
-
- You have access
- HTML
- Export citation
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
DOING WITHOUT ACTION TYPES
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 21 October 2020, pp. 380-410
- Print publication:
- June 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 13 August 2019, pp. 806-822
- Print publication:
- December 2019
-
- Article
- Export citation
COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 04 July 2019, pp. 487-535
- Print publication:
- September 2019
-
- Article
- Export citation
THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 829-867
- Print publication:
- September 2018
-
- Article
- Export citation
THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM
-
- Journal:
- The Review of Symbolic Logic / Volume 11 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 29 January 2018, pp. 160-206
- Print publication:
- March 2018
-
- Article
- Export citation
ACTION TYPES IN STIT SEMANTICS
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 4 / December 2017
- Published online by Cambridge University Press:
- 29 August 2017, pp. 617-637
- Print publication:
- December 2017
-
- Article
- Export citation
LINEAR TIME IN HYPERSEQUENT FRAMEWORK
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 29 March 2016, pp. 121-144
- Print publication:
- March 2016
-
- Article
- Export citation