2 results
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
Exploring the Jungle of Intuitionistic Temporal Logics
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 4 / July 2021
- Published online by Cambridge University Press:
- 22 April 2021, pp. 459-492
-
- Article
- Export citation