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

DOI10.1007/978-3-319-27683-0_25zbMATH Open1474.68340OpenAlexW2296316693MaRDI QIDQ5283440FDOQ5283440

Vladimir 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

admissible rulesknowledgetemporal logicdecision algorithmsmulti-agent logicnon-transitive time

Mathematics Subject Classification ID

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

Cites Work

• Linear Temporal Logic LTL: Basis for Admissible Rules
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Title not available (Why is that?)
• One hundred and two problems in mathematical logic
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introducing Justification into Epistemic Logic
• Linear temporal logic with until and next, logical consecutions
• Justified common knowledge
• Logical omniscience as infeasibility
• Logical consecutions in discrete linear temporal logic
• Refined common knowledge logics or logics of common information
• Inference rules in Nelson's logics, admissibility and weak admissibility
• Non-transitive linear temporal logic and logical knowledge operations
• Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
• Title not available (Why is that?)

Cited In (3)

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

This page was built for publication: Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility

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