Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic

DOI10.1007/978-3-642-02734-5_5zbMath1250.03028OpenAlexW2200090875MaRDI QIDQ3393380

Norihiro Kamide

Publication date: 20 August 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02734-5_5

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Related Items (8)

Representing any-time and program-iteration by infinitary conjunction ⋮ Temporal BI: proof system, semantics and translations ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Synchronized linear-time temporal logic ⋮ Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic ⋮ Embedding theorems for LTL and its variants ⋮ Combining linear-time temporal logic with constructiveness and paraconsistency ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Concerning the semantic consequence relation in first-order temporal logic
• A guide to completeness and complexity for modal logics of knowledge and belief
• LAR: A logic of algorithmic reasoning
• Modality, bisimulation and interpolation in infinitary logic
• On the logic of common belief and common knowledge
• Game logic and its applications. II
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• An approach to infinitary temporal proof theory
• Cut-elimination Theorems for Some Infinitary Modal Logics
• Sequential Calculus for a First Order Infinitary Temporal Logic
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• Common knowledge logic and game logic
• Propositional temporal logics: decidability and completeness
• Barwise: Infinitary Logic and Admissible Sets
• Algebraische und logistische Untersuchungen über freie Verbände
• Proof theory

This page was built for publication: Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic