Reasoning about information change

DOI10.1023/A:1008222603071zbMath0873.03029OpenAlexW1533142698MaRDI QIDQ1357672

Publication date: 10 June 1997

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008222603071

zbMATH Keywords

axiomatization information structures non-well-founded set theory Dynamic Epistemic Logic bisimulation classes of Kripke models knowledge programs logic for reasoning about information change in a multi-agent system puzzle of the dirty children Update Semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items

Logics of informational interactions, A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic, Some remarks on the model theory of epistemic plausibility models, Logics of Rational Interaction, Exploring the Power of Converse Events, Evaluations of epistemic components for resolving the muddy children puzzle, Update as Evidence: Belief Expansion, Situated epistemic updates, Reasoning about knowledge and messages in asynchronous multi-agent systems, Multi-agent justification logic: communication and evidence elimination, The surprise examination in dynamic epistemic logic, A closeness- and priority-based logical study of social network creation, Dynamic epistemic logics: promises, problems, shortcomings, and perspectives, Algebraic semantics and model completeness for intuitionistic public announcement logic, Merging DEL and ETL, ARROW UPDATE LOGIC, Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap, To be announced, Communication pattern logic: epistemic and topological views, Reasoning About Substructures and Games, An epistemic separation logic with action models, The fundamental problem of logical omniscience, To know or not to know: Epistemic approaches to security protocol verification, Dynamic epistemic logics for abstract argumentation, Depth-bounded Epistemic Logic, The Logic of Public Announcements, Common Knowledge, and Private Suspicions, A Qualitative Theory of Dynamic Interactive Belief Revision, From DEL to EDL: Exploring the Power of Converse Events, Unnamed Item, The Dynamic Epistemic Logic for Actual Knowledge, Unnamed Item, Arrow update synthesis, An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution, Populational announcement logic (PPAL), Unnamed Item, Refinement modal logic, Modelling Multi-Agent Epistemic Planning in ASP, Realizing public announcements by justifications, A four-valued dynamic epistemic logic, Towards a ``sophisticated model of belief dynamics. I: The general framework, Information dynamics and uniform substitution, On axiomatizations of public announcement logic, Dynamics of lying, Knowledge updates: Semantics and complexity issues, Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic, Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic, Epistemic Logic with Evidence and Relevant Alternatives, Comments to `Logics of public communications', The cognitive structure of surprise: looking for basic principles, A Dynamic Logic of Interrogative Inquiry, Bilattice logic of epistemic actions and knowledge, Syntactic awareness in logical dynamics, Inquisitive dynamic epistemic logic, Combinatorial bitstring semantics for arbitrary logical fragments, 2002 Annual Conference of the Australasian Association for Logic, A formal model of multi-agent belief-interaction, Structures of Oppositions in Public Announcement Logic, Conditioning and interpretation shifts, ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’, Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth, What will they say? -- Public announcement games, Introspection as an action in relational models, Propositional Dynamic Logic with Storing, Recovering and Parallel Composition, A formal model of multi-agent belief-interaction, Revocable belief revision, Recapturing dynamic logic of relation changers via bounded morphisms, Decidable Extensions of Hennessy-Milner Logic, True lies, Towards a ``sophisticated model of belief dynamics. II: Belief revision, Intensional protocols for dynamic epistemic logic, Epistemic Informativeness, Channel Theoretic Reflections on Dynamic Logics of Speech Acts, Positive announcements, Rethinking epistemic logic with belief bases, A Modal Framework for Relating Belief and Signed Information, Logical dynamics of some speech acts that affect obligations and preferences, Public and private communication are different: Results on relative expressivity, Schematic Validity in Dynamic Epistemic Logic: Decidability, On Axiomatizations of PAL, Refinement Quantified Logics of Knowledge, On Revocable and Irrevocable Belief Revision, Communication among agents: a way to revise beliefs in KD45 Kripke structures★, A model for updates in a multi-agent setting, Expressivity and completeness for public update logics via reduction axioms, Keep `hoping' for rationality: a solution to the backward induction paradox, Logic and Probabilistic Update, Dynamic epistemic logic with communication actions, The undecidability of iterated modal relativization, A modal logic of epistemic games, Prolegomena to dynamic logic for belief revision, Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation