COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
From MaRDI portal
Publication:5100046
DOI10.1017/jsl.2022.8zbMath1499.03016arXiv1910.00907OpenAlexW4210723133MaRDI QIDQ5100046
Joseph Boudou, Martín Diéguez, David Fernández-Duque
Publication date: 29 August 2022
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1910.00907
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Spatial logic of tangled closure operators and modal mu-calculus
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
- Dynamic topological logic
- Modal characterisation theorems over special classes of frames
- On the modal definability of simulability by finite transitive models
- Constructive linear-time temporal logic: proof systems and Kripke semantics
- Dynamic topological logic interpreted over minimal systems
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Non-deterministic semantics for dynamic topological logic
- The finite model property for logics with the tangle modality
- Semantical analysis of constructive PDL
- Non-primitive recursive decidability of products of modal logics with expanding domains
- Temporal Here and There
- A sound and complete axiomatization for Dynamic Topological Logic
- Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models
- Dynamic Topological Completeness for
- Propositional temporal logics: decidability and completeness
- The intuitionistic temporal logic of dynamical systems
- A Decidable Intuitionistic Temporal Logic
- Intuitionistic Linear Temporal Logics
- Dynamic topological logic of metric spaces
- Non-finite axiomatizability of dynamic topological logic
This page was built for publication: COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
