Bounded linear-time temporal logic: a proof-theoretic investigation

DOI10.1016/J.APAL.2011.12.002zbMath1241.03015OpenAlexW2042951804MaRDI QIDQ764266

Norihiro Kamide

Publication date: 13 March 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.002

zbMATH Keywords

modal logicsequent calculusresolutiontemporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Related Items (3)

A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning ⋮ Temporal BI: proof system, semantics and translations ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic

Uses Software

• TRP++

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Concerning the semantic consequence relation in first-order temporal logic
• Constructivism in mathematics. An introduction. Volume I
• LAR: A logic of algorithmic reasoning
• The logic of information structures
• Temporal resolution using a breadth-first search algorithm
• A proof-theoretic investigation of a logic of positions
• Decidable fragments of first-order temporal logics
• An approach to infinitary temporal proof theory
• Quantized linear logic, involutive quantales and strong negation
• The complexity of propositional linear temporal logics in simple cases
• Linear and affine logics with temporal, spatial and epistemic operators
• Tableaux for constructive concurrent dynamic logic
• First-order logic with two variables and unary temporal logic
• Uniform proofs as a foundation for logic programming
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
• Nonclausal deduction in first-order temporal logic
• Sequential Calculus for a First Order Infinitary Temporal Logic
• The complexity of propositional linear temporal logics
• Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
• Monodic temporal resolution
• Computer Science Logic
• AN NP-COMPLETE FRAGMENT OF LTL
• Clausal temporal resolution
• Proof theory

This page was built for publication: Bounded linear-time temporal logic: a proof-theoretic investigation