Refined common knowledge logics or logics of common information

DOI10.1007/S001530100134MaRDI QIDQ1407585zbMATH OpenOpenAlexFDO

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

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

Recommendations

• La connaissance commune en logique modale
• About cut elimination for logics of common knowledge
• On the logic of common belief and common knowledge
• On the Logic of Common Belief
• Belief closure: A semantics of common knowledge for modal propositional logic

Cited in

(22)

• Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
• scientific article; zbMATH DE number 589745 (Why is no real title available?)
• Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
• Branching time agents logics, satisfiability problem by rules in reduced form
• Temporal logic with accessibility temporal relations generated by time states themselves
• The satisfiability problem in linear multi-agent knowledge logic based on \(\mathbb{N}\)
• Refinement quantified logics of knowledge
• Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
• A map of common knowledge logics
• La connaissance commune en logique modale
• Multi-agent temporal logics, information, unification, and projectivity
• Common Belief with the Logic of Individual Belief
• The generation of formulas held in common knowledge
• Logical consecutions in discrete linear temporal logic
• Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
• Strong completeness theorems for weak logics of common belief
• Temporal multi-valued logic with lost worlds in the past
• Intuitionistic common knowledge or belief
• Formalizing Concurrent Common Knowledge as Product of Modal Logics
• Refinement quantified logics of knowledge and belief for multiple agents
• Many-valued multi-modal logics, satisfiability problem
• A non-minimal but very weak axiomatization of common belief

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

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