Logics for epistemic programs

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

Lawrence S. Moss, Alexandru Baltag

Publication date: 24 October 2006

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:synt.0000024912.56773.5e

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

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

Related Items

Reasoning about knowledge and messages in asynchronous multi-agent systems, Modelling phenomena and dynamic logic of phenomena, DEL-sequents for regression and epistemic planning, Substructural epistemic logics, Dynamic epistemic logics: promises, problems, shortcomings, and perspectives, Structures of Oppositions in Public Announcement Logic, Logics of informational interactions, Contemporary epistemic logic and the Lockean thesis, 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, Logics of temporal-epistemic actions, 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, Resolving distributed knowledge, The many faces of closure and introspection. An ineractive perspective, The dynamics of epistemic attitudes in resource-bounded agents, Truth-tracking by belief revision, Inquisitive propositional dynamic logic, An action language for multi-agent domains, Endogenizing epistemic actions, Epistemic planning with attention as a bounded resource, Dynamic term-modal logics for first-order epistemic planning, Populational announcement logic (PPAL), Intensional protocols for dynamic epistemic logic, Dynamic epistemic logic with communication actions, 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, State transition in multi-agent epistemic domains using answer set programming, Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information, Classical Knowledge for Quantum Security, Tableau Method and NEXPTIME-Completeness of DEL-Sequents, Refinement Quantified Logics of Knowledge, 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, Language Games, Agency and Interaction What We Are and What We Do in Formal Epistemology, A Qualitative Theory of Dynamic Interactive Belief Revision, Alternating-Time Temporal Announcement Logic, On Axiomatizations of PAL, Public Announcement Logic with Distributed Knowledge, Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators, ARROW UPDATE LOGIC, Unnamed Item, Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic, Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic, Hintikka’s Knowledge and Belief in Flux, Tracking Information, 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, Categories for 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, Unnamed Item, 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, Conversation and Games, 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, METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS, Logic of visibility in social networks