La connaissance commune en logique modale

DOI10.1002/MALQ.19930390114MaRDI QIDQ4304804zbMATH OpenOpenAlexFDO

Authors Luc Lismont

Publication date 3 January 1995

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19930390114

zbMATH Keywords

Kripke modelsmodal logicmulti-modal logicScott modelsaxiomatization of Common Knowledge

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45)

Recommendations

• On the logic of common belief and common knowledge
• Logical structure of common knowledge
• The proof theory of common knowledge
• Refined common knowledge logics or logics of common information
• Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics

Cited in

(36)

• A sound interpretation of minimality properties of common belief in minimal semantics
• scientific article; zbMATH DE number 67491 (Why is no real title available?)
• Justified and Common Knowledge: Limited Conservativity
• Cut-free common knowledge
• First order common knowledge logics
• SOLUTION OF A NUMBER THEORETIC PROBLEM INVOLVING KNOWLEDGE
• Logics of public communications
• A map of common knowledge logics
• Model existence in non-compact modal logic
• The generation of formulas held in common knowledge
• Common knowledge does not have the Beth property
• scientific article; zbMATH DE number 2015273 (Why is no real title available?)
• Common belief in monotonic epistemic logic
• On the logic of common belief and common knowledge
• scientific article; zbMATH DE number 7585720 (Why is no real title available?)
• Iterative and fixed point common belief
• Two ways to common knowledge
• scientific article; zbMATH DE number 2068679 (Why is no real title available?)
• scientific article; zbMATH DE number 67445 (Why is no real title available?)
• Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics
• The proof theory of common knowledge
• How true it is = who says it's true
• scientific article; zbMATH DE number 4152199 (Why is no real title available?)
• Intuitionistic common knowledge or belief
• Logical structure of common knowledge
• Formalizing Concurrent Common Knowledge as Product of Modal Logics
• On algebraic and topological semantics of the modal logic of common knowledge \(\mathsf{S4}^C_I\)
• scientific article; zbMATH DE number 589745 (Why is no real title available?)
• Belief closure: A semantics of common knowledge for modal propositional logic
• Common Knowledge Semantics of Armstrong’s Axioms
• Refined common knowledge logics or logics of common information
• Common knowledge and multi-scale locality analysis in Cayley structures
• Explicit generic common knowledge
• The modal logic of cluster-decomposable Kripke interpretations
• Pairing traditional and generic common knowledge
• scientific article; zbMATH DE number 2131056 (Why is no real title available?)

This page was built for publication: La connaissance commune en logique modale

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