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)

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

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)