Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility

DOI10.1007/978-3-319-69917-2_11zbMath1429.03074OpenAlexW2790996802MaRDI QIDQ5214739

Vladimir Vladimirovich Rybakov

Publication date: 5 February 2020

Published in: Larisa Maksimova on Implication, Interpolation, and Definability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-69917-2_11

zbMATH Keywords

knowledgeadmissible ruleslinear temporal logicadmissibility problemdeciding algorithmsnon-transitive timelogical knowledge operations

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Multi-agent temporal nontransitive linear logics and the admissibility problem ⋮ Branching time logics with multiagent temporal accessibility relations ⋮ Temporal logic with accessibility temporal relations generated by time states themselves

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• Linear temporal logic with until and next, logical consecutions
• Refined common knowledge logics or logics of common information
• Justified common knowledge
• Non-transitive linear temporal logic and logical knowledge operations
• Linear Temporal Logic LTL: Basis for Admissible Rules
• Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
• Introducing Justification into Epistemic Logic
• Temporal Verification of Reactive Systems: Response
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
• Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
• One hundred and two problems in mathematical logic
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Logical consecutions in discrete linear temporal logic

This page was built for publication: Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility