Refined common knowledge logics or logics of common information

DOI10.1007/S001530100134zbMath1030.03015OpenAlexW2073775828MaRDI QIDQ1407585

Vladimir Vladimirovich Rybakov

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530100134

zbMATH Keywords

monotonicityomnisciencecommon knowledge and informationmodal logics of knowledge and information

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (9)

Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Temporal multi-valued logic with lost worlds in the past ⋮ Many-valued multi-modal logics, satisfiability problem ⋮ Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms ⋮ Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility ⋮ Logical consecutions in discrete linear temporal logic ⋮ Temporal logic with accessibility temporal relations generated by time states themselves ⋮ Branching time agents logics, satisfiability problem by rules in reduced form

This page was built for publication: Refined common knowledge logics or logics of common information