Logics of public communications
From MaRDI portal
Publication:2460188
DOI10.1007/s11229-007-9168-7zbMath1126.03308OpenAlexW2096959337MaRDI QIDQ2460188
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
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Collected or selected works; reprintings or translations of classics (01A75)
Related Items (79)
Formalising privacy policies in social networks ⋮ A Formal Model for Polarization under Confirmation Bias in Social Networks ⋮ Ockham's razor and reasoning about information flow ⋮ Justifications for common knowledge ⋮ Logics of Rational Interaction ⋮ Exploring the Power of Converse Events ⋮ Algebraic Semantics for Dynamic Dynamic Logic ⋮ Discrete linear temporal logic with knowing-value operator ⋮ Complexity of finite-variable fragments of propositional temporal and modal logics of computation ⋮ On inverse operators in dynamic epistemic logic ⋮ Logics with group announcements and distributed knowledge: completeness and expressive power ⋮ Reasoning about knowledge and messages in asynchronous multi-agent systems ⋮ Arbitrary arrow update logic ⋮ The modal logic of copy and remove ⋮ The undecidability of arbitrary arrow update logic ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC ⋮ Evidence and plausibility in neighborhood structures ⋮ Putting right the wording and the proof of the Truth Lemma forAPAL ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ ARROW UPDATE LOGIC ⋮ Epistemic planning: perspectives on the special issue ⋮ A logic of ``black box classifier systems ⋮ Reasoning About Substructures and Games ⋮ An Abstract Look at Awareness Models and Their Dynamics ⋮ The fundamental problem of logical omniscience ⋮ Dynamic logics of knowledge and access ⋮ Dynamic modal logic with counting: when reduction axioms work and fail ⋮ Unification of Modal Logic via Topological Categories ⋮ Logic of visibility in social networks ⋮ Non-monotonic reasoning via dynamic consequence ⋮ Program semantics and verification technique for AI-centred programs ⋮ Providing personalized explanations: a conversational approach ⋮ The many faces of closure and introspection. An ineractive perspective ⋮ A logic of knowing why ⋮ The Logic of Public Announcements, Common Knowledge, and Private Suspicions ⋮ A Qualitative Theory of Dynamic Interactive Belief Revision ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dynamic logics of evidence-based beliefs ⋮ Reasoning about permitted announcements ⋮ Populational announcement logic (PPAL) ⋮ Realizing public announcements by justifications ⋮ A four-valued dynamic epistemic logic ⋮ Transition semantics: the dynamics of dependence logic ⋮ Topological Subset Space Models for Public Announcements ⋮ Possible Worlds Semantics Based on Observation and Communication ⋮ Coalition and relativised group announcement logic ⋮ A simple logic of functional dependence ⋮ Syntactic awareness in logical dynamics ⋮ Paraconsistent dynamics ⋮ Inquisitive dynamic epistemic logic ⋮ Combinatorial bitstring semantics for arbitrary logical fragments ⋮ A formal model of multi-agent belief-interaction ⋮ ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ ⋮ The epistemology of nondeterminism ⋮ The effort of reasoning: modelling the inference steps of boundedly rational agents ⋮ A formal model of multi-agent belief-interaction ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ Temporal languages for epistemic programs ⋮ Channel Theoretic Reflections on Dynamic Logics of Speech Acts ⋮ Knowing Values and Public Inspection ⋮ Public and private communication are different: Results on relative expressivity ⋮ Logical Dynamics of Evidence ⋮ A Dynamic Analysis of Interactive Rationality ⋮ Seeing, Knowledge and Common Knowledge ⋮ Refinement Quantified Logics of Knowledge ⋮ Endogenizing epistemic actions ⋮ Verification and strategy synthesis for coalition announcement logic ⋮ Merging frameworks for interaction ⋮ Logic and Probabilistic Update ⋮ Incorporating Action Models into the Situation Calculus ⋮ The undecidability of iterated modal relativization ⋮ Toward a theory of play: a logical perspective on games and interaction
Cites Work
This page was built for publication: Logics of public communications
