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_5zbMATH Open1250.03028OpenAlexW2200090875MaRDI QIDQ3393380FDOQ3393380

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Representing any-time and program-iteration by infinitary conjunction
• Synchronized linear-time temporal logic
• 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)