A map of common knowledge logics

DOI10.1023/A:1016387008323MaRDI QIDQ1611251zbMATH OpenFDO

Authors Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki, Yoshihito Tanaka

Publication date 21 August 2002

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

embedding theoremmulti-agent epistemic logicKripke-incompletenesscommon knowledge extensionfixed-point approachinfinitary approachKripke-completeness

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Common knowledge and quantification
• La connaissance commune en logique modale
• The proof theory of common knowledge
• Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics
• Refined common knowledge logics or logics of common information

Cited in

(5)

• scientific article; zbMATH DE number 7117799 (Why is no real title available?)
• Epistemic models of shallow depths and decision making in games: Horticulture
• Semantics for intuitionistic epistemic logics of shallow depths for game theory
• scientific article; zbMATH DE number 589745 (Why is no real title available?)
• Common Knowledge Semantics of Armstrong’s Axioms

This page was built for publication: A map of common knowledge logics

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