Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
DOI10.1007/978-3-319-27683-0_25zbMATH Open1474.68340OpenAlexW2296316693MaRDI QIDQ5283440FDOQ5283440
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
Recommendations
- Multi-agent temporal nontransitive linear logics and the admissibility problem
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- Multi-agent logics with multi-valuations and intensional logical operations
- Non-transitive linear temporal logic and logical knowledge operations
- Temporal multi-valued logic with lost worlds in the past
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)
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)
