Refined common knowledge logics or logics of common information
From MaRDI portal
Publication:1407585
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
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items
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