La connaissance commune en logique modale

DOI10.1002/MALQ.19930390114zbMATH Open0803.03009OpenAlexW2168545489MaRDI QIDQ4304804FDOQ4304804

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

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

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)

Cites Work

• Title not available (Why is that?)

Cited In (36)

• A sound interpretation of minimality properties of common belief in minimal semantics
• Title not available (Why is that?)
• Justified and Common Knowledge: Limited Conservativity
• Cut-free common knowledge
• SOLUTION OF A NUMBER THEORETIC PROBLEM INVOLVING KNOWLEDGE
• First order common knowledge logics
• Logics of public communications
• Model existence in non-compact modal logic
• A map of common knowledge logics
• The generation of formulas held in common knowledge
• Common knowledge does not have the Beth property
• Title not available (Why is that?)
• Common belief in monotonic epistemic logic
• On the logic of common belief and common knowledge
• Title not available (Why is that?)
• Two ways to common knowledge
• Iterative and fixed point common belief
• Title not available (Why is that?)
• Title not available (Why is that?)
• The proof theory of common knowledge
• Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics
• How true it is = who says it's true
• Title not available (Why is that?)
• Intuitionistic common knowledge or belief
• Logical structure of common knowledge
• On algebraic and topological semantics of the modal logic of common knowledge \(\mathsf{S4}^C_I\)
• Formalizing Concurrent Common Knowledge as Product of Modal Logics
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)