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

DOI10.1007/978-3-031-43513-3_13MaRDI QIDQ6541154zbMATH OpenFDO

Authors Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh

Publication date 17 May 2024

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-43513-3_13

zbMATH Keywords

ill-founded proofsintuitionistic logicsequent calculustemporal logic

Mathematics Subject Classification ID

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

Cites work

• A cyclic proof system for full computation tree logic
• A decidable intuitionistic temporal logic
• A Logical Foundation for Environment Classifiers
• A modal analysis of staged computation
• A Proof System for the Linear Time μ-Calculus
• A strongly complete axiomatization of intuitionistic temporal logic
• Borel determinacy
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Complete intuitionistic temporal logics for topological dynamics
• Computer Science Logic
• Constructive completeness for the linear-time -calculus
• Constructive linear-time temporal logic: proof systems and Kripke semantics
• Constructive modal logics. I
• Cyclic Proofs for Linear Temporal Logic
• Environment classifiers
• Games for the -calculus
• scientific article; zbMATH DE number 1848312 (Why is no real title available?)
• Intuitionistic linear temporal logics
• Preface to Intuitionistic modal logic 2017
• Structural proof theory. With an appendix by Aarne Ranta
• The intuitionistic temporal logic of dynamical systems

Cited in

(1)

• Intuitionistic -calculus with the Lewis arrow

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)