Exploring the Jungle of Intuitionistic Temporal Logics
From MaRDI portal
Publication:6063858
DOI10.1017/s1471068421000089arXiv1912.12895MaRDI QIDQ6063858
David Fernández-Duque, Martín Diéguez, Joseph Boudou, Philip Kremer
Publication date: 12 December 2023
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1912.12895
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
- Dynamic topological logic
- Constructive linear-time temporal logic: proof systems and Kripke semantics
- On dynamic topological and metric logics
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Diodorean modality in Minkowski spacetime
- On the partial computation principle
- Many-dimensional modal logics: theory and applications
- Axiomatic systems and topological semantics for intuitionistic temporal logic
- Neighborhood semantics for modal logic
- Non-primitive recursive decidability of products of modal logics with expanding domains
- Temporal Here and There
- A Temporal Logic Approach to Binding-Time Analysis
- A modal analysis of staged computation
- Dynamic Topological Completeness for
- Temporal Equilibrium Logic: A First Approach
- On Dynamic Topological Logic of the Real Line
- Propositional temporal logics: decidability and completeness
- The intuitionistic temporal logic of dynamical systems
- A Decidable Intuitionistic Temporal Logic
- Intuitionistic Linear Temporal Logics
- An intuitionistic axiomatization of `eventually'
- Computer Science Logic
- Dynamic topological logic of metric spaces
- STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
- Der Aussagenkalkül und die Topologie
- Proofs of non-deducibility in intuitionistic functional calculus