Logics of public communications

DOI10.1007/S11229-007-9168-7zbMATH Open1126.03308OpenAlexW2096959337MaRDI QIDQ2460188FDOQ2460188

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

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

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)

Cites Work

• Title not available (Why is that?)
• Epistemology without knowledge and without belief
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• Title not available (Why is that?)
• Factives, Blindspots and Some Paradoxes

Cited In (98)

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

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)