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

common knowledge and informationmodal logics of knowledge and informationmonotonicityomniscience

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)

Review text

In the paper, the author gives sound and complete, axiomatic multi-modal systems, formalizing the notions of common information and knowledge. The operation of common information of a group of rational agents is understood as the greatest open fixed point for knowledge formulas. The problems of monotonicity, inward monotonicity, and omniscience are studied as well.

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

(24)

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

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)