Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms

DOI10.1134/S0037446617050147zbMath1420.03060OpenAlexW2765353109MaRDI QIDQ1694714

Vladimir Vladimirovich Rybakov

Publication date: 6 February 2018

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0037446617050147

zbMATH Keywords

informationdecidabilitytemporal logicsatisfiabilitycomputabilitydeciding algorithmsmultiagent logicnontransitive time

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (8)

Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Multiagent temporal logics, unification problems, and admissibilities ⋮ Multi-agent logics with dynamic accessibly relations, projective unifiers ⋮ Dynamic temporal logical operations in multi-agent logics ⋮ 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 ⋮ Branching time agents logics, satisfiability problem by rules in reduced form

Cites Work

• 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
• 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
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms