The intuitionistic temporal logic of dynamical systems
From MaRDI portal
Publication:4580328
DOI10.23638/LMCS-14(3:3)2018zbMath1453.03014arXiv1611.06929MaRDI QIDQ4580328
Publication date: 15 August 2018
Full work available at URL: https://arxiv.org/abs/1611.06929
Temporal logic (03B44) Subsystems of classical logic (including intuitionistic logic) (03B20) Notions of recurrence and recurrent behavior in topological dynamical systems (37B20)
Related Items (5)
Constructive Game Logic ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS ⋮ Exploring the Jungle of Intuitionistic Temporal Logics ⋮ Time and Gödel: fuzzy temporal reasoning in PSPACE
Cites Work
- Positive provability logic for uniform reflection principles
- Topological completeness of the provability logic GLP
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
- Dynamic topological logic
- Dynamic measure logic
- Constructive linear-time temporal logic: proof systems and Kripke semantics
- Dynamic topological logic interpreted over minimal systems
- On dynamic topological and metric logics
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Non-deterministic semantics for dynamic topological logic
- Dynamic topological S5
- Many-dimensional modal logics: theory and applications
- On the positive fragment of the polymodal provability logic GLP
- Non-primitive recursive decidability of products of modal logics with expanding domains
- A representation theorem for Boolean contact algebras
- Temporal Here and There
- A sound and complete axiomatization for Dynamic Topological Logic
- Introduction to Boolean Algebras
- Intuitionistic tense and modal logic
- Propositional temporal logics: decidability and completeness
- « Everywhere » and « here »
- A Decidable Intuitionistic Temporal Logic
- Modal Logics of Topological Relations
- Almost totally disconnected minimal systems
- Non-finite axiomatizability of dynamic topological logic
- Der Aussagenkalkül und die Topologie
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The intuitionistic temporal logic of dynamical systems
