Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility

DOI10.1007/978-3-319-27683-0_25MaRDI QIDQ5283440zbMATH OpenOpenAlexFDO

Authors 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)

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

Cites work

• scientific article; zbMATH DE number 1810488 (Why is no real title available?)
• scientific article; zbMATH DE number 1223729 (Why is no real title available?)
• scientific article; zbMATH DE number 1759385 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
• Inference rules in Nelson's logics, admissibility and weak admissibility
• Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
• Introducing Justification into Epistemic Logic
• Justified common knowledge
• Linear temporal logic LTL: basis for admissible rules
• Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
• Linear temporal logic with until and next, logical consecutions
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• Logical consecutions in discrete linear temporal logic
• Logical omniscience as infeasibility
• Non-transitive linear temporal logic and logical knowledge operations
• One hundred and two problems in mathematical logic
• Refined common knowledge logics or logics of common information
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings

Cited in

(7)

• Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
• Branching time logics with multiagent temporal accessibility relations
• Multi-agent logics with multi-valuations and intensional logical operations
• Multiagent temporal logics with multivaluations
• Non-transitive linear temporal logic and logical knowledge operations
• On the linear logic of knowledge and time with intransitive time relation
• Multi-agent temporal nontransitive linear logics and the admissibility problem

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)