6 results
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
- 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
- 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