Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility

DOI10.1007/978-3-319-27683-0_25zbMath1474.68340OpenAlexW2296316693MaRDI QIDQ5283440

Vladimir Vladimirovich Rybakov

Publication date: 21 July 2017

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://e-space.mmu.ac.uk/600921/1/LFCS-2016-Rybakov_Corr2.pdf

zbMATH Keywords

knowledgetemporal logicadmissible rulesdecision algorithmsmulti-agent logicnon-transitive time

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (3)

Multiagent temporal logics with multivaluations ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ Branching time logics with multiagent temporal accessibility relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical omniscience as infeasibility
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• Linear temporal logic with until and next, logical consecutions
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
• Refined common knowledge logics or logics of common information
• Inference rules in Nelson's logics, admissibility and weak admissibility
• 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
• 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: Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility