Logics for epistemic programs

DOI10.1023/B:SYNT.0000024912.56773.5ezbMath1100.03010MaRDI QIDQ2431873

Publication date: 24 October 2006

Published in: Synthese (Search for Journal in Brave)

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

Related Items

Structures of Oppositions in Public Announcement Logic, Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision, POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION, Aximo: Automated Axiomatic Reasoning for Information Update, Dynamic Epistemic Logics, Logic and Probabilistic Update, Logic and Game Theory, Incorporating Action Models into the Situation Calculus, Dynamic Epistemic Logic as a Substructural Logic, Refinement of Kripke Models for Dynamics, A formal model of multi-agent belief-interaction, A formal model of multi-agent belief-interaction, DEL-sequents for progression, DEL-sequents for progression, Logics of informational interactions, Multi-agent justification logic: communication and evidence elimination, Action emulation, Belief change in branching time: AGM-consistency and iterated revision, On axiomatizations of public announcement logic, Public announcement logic with distributed knowledge: expressivity, completeness and complexity, Exploring the tractability border in epistemic tasks, Multiagent belief revision, Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth, Finite identification from the viewpoint of epistemic update, Logic for update products and steps into the past, Prolegomena to dynamic logic for belief revision, An epistemic logic for becoming informed, Ockham's razor and reasoning about information flow, Logics of communication and change, The surprise examination in dynamic epistemic logic, My beliefs about your beliefs: a case study in theory of mind and epistemic logic, Towards a theory of intention revision, Relativized common knowledge for dynamic epistemic logic, Towards a ``sophisticated model of belief dynamics. I: The general framework, A dynamic-logical perspective on quantum behavior, A sketch of a dynamic epistemic semiring, An internal version of epistemic logic, On the dynamics of institutional agreements, Towards a ``sophisticated model of belief dynamics. II: Belief revision, Temporal languages for epistemic programs, Probabilistic dynamic belief revision, Public and private communication are different: Results on relative expressivity, Bridging learning theory and dynamic epistemic logic, Extending probabilistic dynamic epistemic logic, Merging frameworks for interaction, The many faces of closure and introspection. An ineractive perspective, A modal logic of epistemic games, From single agent to multi-agent via hypersequents, On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes, Comments to `Logics of public communications', The logic of Pit, The undecidability of iterated modal relativization, Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information, Modular Games for Coalgebraic Fixed Point Logics, Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains, Some remarks on the model theory of epistemic plausibility models, Logics of Rational Interaction, Exploring the Power of Converse Events, Generalized DEL-Sequents, Conditional Epistemic Planning, Finitary S5-Theories, Efficient Program Transformers for Translating LCC to PDL, Mathematical Arguments and Distributed Knowledge, Alternating-Time Temporal Announcement Logic, On Axiomatizations of PAL, Public Announcement Logic with Distributed Knowledge, ARROW UPDATE LOGIC, Private Expansion and Revision in Multi-agent Settings, Compositional Reasoning for Multi-modal Logics, A General Framework for Modal Correspondence in Dynamic Epistemic Logic, Model Transformers for Dynamical Systems of Dynamic Epistemic Logic, Propositional Dynamic Logic as a Logic of Belief Revision, From DEL to EDL: Exploring the Power of Converse Events, Logic programming for finding models in the logics of knowledge and its applications: A case study, Decidable Extensions of Hennessy-Milner Logic, Learning by Erasing in Dynamic Epistemic Logic, Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points, The case of the hidden hand, Interpreting an action from what we perceive and what we expect, Communication strategies in games, Expressivity and completeness for public update logics via reduction axioms