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_5MaRDI QIDQ3393380zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Embedding theorems for LTL and its variants
• Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
• An approach to infinitary temporal proof theory
• Sequent calculi for temporal logics of common knowledge and belief
• Combining linear-time temporal logic with constructiveness and paraconsistency

Cites work

• scientific article; zbMATH DE number 1705164 (Why is no real title available?)
• scientific article; zbMATH DE number 3860378 (Why is no real title available?)
• scientific article; zbMATH DE number 4170873 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 5270677 (Why is no real title available?)
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• A guide to completeness and complexity for modal logics of knowledge and belief
• Algebraische und logistische Untersuchungen über freie Verbände
• An approach to infinitary temporal proof theory
• Barwise: Infinitary Logic and Admissible Sets
• Common knowledge logic and game logic
• Concerning the semantic consequence relation in first-order temporal logic
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Cut-elimination theorems for some infinitary modal logics
• Game logic and its applications. II
• LAR: A logic of algorithmic reasoning
• Modality, bisimulation and interpolation in infinitary logic
• On the logic of common belief and common knowledge
• Proof theory
• Propositional temporal logics: decidability and completeness
• Sequential Calculus for a First Order Infinitary Temporal Logic

Cited in

(9)

• Synchronized linear-time temporal logic
• Representing any-time and program-iteration by infinitary conjunction
• Bounded linear-time temporal logic: a proof-theoretic investigation
• Temporal BI: proof system, semantics and translations
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Embedding theorems for LTL and its variants
• Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• Some remarks on the proof-theory and the semantics of infinitary modal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3393380)