Ill-founded proof systems for intuitionistic linear-time temporal logic
From MaRDI portal
Publication:6541154
DOI10.1007/978-3-031-43513-3_13MaRDI QIDQ6541154
Bahareh Afshari, Graham E. Leigh, Author name not available (Why is that?), Lide Grotenhuis
Publication date: 17 May 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Games for the \(\mu\)-calculus
- Constructive modal logics. I
- Constructive linear-time temporal logic: proof systems and Kripke semantics
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Borel determinacy
- Structural proof theory. With an appendix by Aarne Ranta
- Environment classifiers
- A modal analysis of staged computation
- The intuitionistic temporal logic of dynamical systems
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
- A Decidable Intuitionistic Temporal Logic
- A strongly complete axiomatization of intuitionistic temporal logic
- Intuitionistic Linear Temporal Logics
- Cyclic Proofs for Linear Temporal Logic
- Computer Science Logic
- A Proof System for the Linear Time μ-Calculus
- A Logical Foundation for Environment Classifiers
- A cyclic proof system for full computation tree logic
This page was built for publication: Ill-founded proof systems for intuitionistic linear-time temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6541154)
