Ill-founded proof systems for intuitionistic linear-time temporal logic

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

zbMATH Keywords

sequent calculusintuitionistic logictemporal logicill-founded proofs

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

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)