Logics of public communications

DOI10.1007/S11229-007-9168-7MaRDI QIDQ2460188zbMATH OpenOpenAlexFDO

Authors Jan Plaza

Publication date 14 November 2007

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-007-9168-7

zbMATH Keywords

communicationdistributed systemsKripke modelsexpert systemslogics of knowledgemodal logic S5

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) Collected or selected works; reprintings or translations of classics (01A75)

Recommendations

• Public Announcements, Private Actions and Common Knowledge in S5 Structures
• `Knowable' as `known after an announcement'
• The logic of public announcements, common knowledge, and private suspicions
• A guide to completeness and complexity for modal logics of knowledge and belief
• La connaissance commune en logique modale

Cites work

• scientific article; zbMATH DE number 4053069 (Why is no real title available?)
• scientific article; zbMATH DE number 46167 (Why is no real title available?)
• Epistemology without knowledge and without belief
• Factives, Blindspots and Some Paradoxes
• Handbook of philosophical logic. Volume II: Extensions of classical logic

Cited in

(97)

• Logical dynamics of evidence
• Evidence and plausibility in neighborhood structures
• scientific article; zbMATH DE number 7444842 (Why is no real title available?)
• Public and private communication are different: Results on relative expressivity
• Temporal languages for epistemic programs
• A four-valued dynamic epistemic logic
• Verification of dynamic bisimulation theorems in Coq
• Evaluations of epistemic components for resolving the muddy children puzzle
• Populational announcement logic (PPAL)
• Dynamic modal logic with counting: when reduction axioms work and fail
• A temporal logic for successive events
• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
• SOLUTION OF A NUMBER THEORETIC PROBLEM INVOLVING KNOWLEDGE
• The modal logic of copy and remove
• The undecidability of arbitrary arrow update logic
• Sum and Product in Dynamic Epistemic Logic
• Refinement quantified logics of knowledge
• scientific article; zbMATH DE number 5703818 (Why is no real title available?)
• Unification of Modal Logic via Topological Categories
• Knowledge and communication: A first-order theory
• Arrow update logic
• A dynamic analysis of interactive rationality
• Possible worlds semantics based on observation and communication
• The logic of public announcements, common knowledge, and private suspicions
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• A new modal framework for epistemic logic
• Logic of visibility in social networks
• scientific article; zbMATH DE number 7444870 (Why is no real title available?)
• Seeing, Knowledge and Common Knowledge
• Merging frameworks for interaction
• Coalition and group announcement logic
• Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
• The undecidability of iterated modal relativization
• The fundamental problem of logical omniscience
• Announcement as effort on topological spaces
• Program semantics and verification technique for AI-centred programs
• Providing personalized explanations: a conversational approach
• Formalising privacy policies in social networks
• Knowing values and public inspection
• Discrete linear temporal logic with knowing-value operator
• Coalition and relativised group announcement logic
• Realizing public announcements by justifications
• A simple logic of functional dependence
• Dynamic logics of knowledge and access
• On inverse operators in dynamic epistemic logic
• Logics with group announcements and distributed knowledge: completeness and expressive power
• Combinatorial bitstring semantics for arbitrary logical fragments
• Reasoning about knowledge and messages in asynchronous multi-agent systems
• Toward a theory of play: a logical perspective on games and interaction
• Non-monotonic reasoning via dynamic consequence
• Putting right the wording and the proof of the truth lemma for \textit{APAL}
• Incorporating action models into the situation calculus
• Algebraic Semantics for Dynamic Dynamic Logic
• Logic and probabilistic update
• Justifications for common knowledge
• A logic of knowing why
• Topological subset space models for public announcements
• Minimizing agents' state corruption resulting from leak-free epistemic communication modeling
• Reasoning about permitted announcements
• Arbitrary arrow update logic
• No finite model property for logics of quantified announcements
• A formal model of multi-agent belief-interaction
• Endogenizing epistemic actions
• Comments to `Logics of public communications'
• A qualitative theory of dynamic interactive belief revision
• `Knowable' as `known after an announcement'
• Reasoning About Substructures and Games
• Complexity of finite-variable fragments of propositional temporal and modal logics of computation
• Visibility and exploitation in social networks
• The many faces of closure and introspection. An ineractive perspective
• Ockham's razor and reasoning about information flow
• Logics of rational interaction
• A note on the wise girls puzzle
• Channel theoretic reflections on dynamic logics of speech acts
• The expressivity of factual change in dynamic epistemic logic
• Epistemic planning: perspectives on the special issue
• Verification and strategy synthesis for coalition announcement logic
• A logic of ``black box classifier systems
• THE LOGIC OF RESOURCES AND CAPABILITIES
• scientific article; zbMATH DE number 4108735 (Why is no real title available?)
• scientific article; zbMATH DE number 7450030 (Why is no real title available?)
• Multi-agent justification logic: communication and evidence elimination
• AI 2005: Advances in Artificial Intelligence
• Paraconsistent dynamics
• Syntactic awareness in logical dynamics
• Inquisitive dynamic epistemic logic
• Dynamic logics of evidence-based beliefs
• The effort of reasoning: modelling the inference steps of boundedly rational agents
• Exploring the power of converse events
• An Abstract Look at Awareness Models and Their Dynamics
• A formal model of multi-agent belief-interaction
• A Formal Model for Polarization under Confirmation Bias in Social Networks
• Data graphs with incomplete information (and a way to complete them)
• Action models for coalition logic
• The epistemology of nondeterminism
• Knowledge and action in semi-public environments
• Logics of communication and change

This page was built for publication: Logics of public communications

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