Logics for epistemic programs

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

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

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (only showing first 100 items - show all)

Logics of informational interactions ⋮ An epistemic logic for becoming informed ⋮ Ockham's razor and reasoning about information flow ⋮ Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains ⋮ Contemporary epistemic logic and the Lockean thesis ⋮ Some remarks on the model theory of epistemic plausibility models ⋮ Private Expansion and Revision in Multi-agent Settings ⋮ Logics of Rational Interaction ⋮ Exploring the Power of Converse Events ⋮ Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators ⋮ 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 ⋮ Epistemic planning with attention as a bounded resource ⋮ Generalized DEL-Sequents ⋮ Conditional Epistemic Planning ⋮ Logics of communication and change ⋮ From single agent to multi-agent via hypersequents ⋮ Reasoning about knowledge and messages in asynchronous multi-agent systems ⋮ Finitary S5-Theories ⋮ Efficient Program Transformers for Translating LCC to PDL ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ Action emulation ⋮ Resolving distributed knowledge ⋮ Modelling phenomena and dynamic logic of phenomena ⋮ DEL-sequents for regression and epistemic planning ⋮ 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 ⋮ Substructural epistemic logics ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ ARROW UPDATE LOGIC ⋮ Mathematical Arguments and Distributed Knowledge ⋮ Categories for Dynamic Epistemic Logic ⋮ Relativized common knowledge for dynamic epistemic logic ⋮ Propositional Dynamic Logic as a Logic of Belief Revision ⋮ Belief change in branching time: AGM-consistency and iterated revision ⋮ Language Games ⋮ The many faces of closure and introspection. An ineractive perspective ⋮ State transition in multi-agent epistemic domains using answer set programming ⋮ Logic for update products and steps into the past ⋮ Agency and Interaction What We Are and What We Do in Formal Epistemology ⋮ A Qualitative Theory of Dynamic Interactive Belief Revision ⋮ From DEL to EDL: Exploring the Power of Converse Events ⋮ Unnamed Item ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes ⋮ Populational announcement logic (PPAL) ⋮ Towards a ``sophisticated model of belief dynamics. I: The general framework ⋮ On axiomatizations of public announcement logic ⋮ Public announcement logic with distributed knowledge: expressivity, completeness and complexity ⋮ Exploring the tractability border in epistemic tasks ⋮ 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 ⋮ Comments to `Logics of public communications' ⋮ Multiagent belief revision ⋮ A dynamic-logical perspective on quantum behavior ⋮ Tracking Information ⋮ Logics of temporal-epistemic actions ⋮ Structures of Oppositions in Public Announcement Logic ⋮ The dynamics of epistemic attitudes in resource-bounded agents ⋮ A sketch of a dynamic epistemic semiring ⋮ An internal version of epistemic logic ⋮ Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth ⋮ On the dynamics of institutional agreements ⋮ Truth-tracking by belief revision ⋮ Logic programming for finding models in the logics of knowledge and its applications: A case study ⋮ Finite identification from the viewpoint of epistemic update ⋮ The logic of Pit ⋮ Decidable Extensions of Hennessy-Milner Logic ⋮ Inquisitive propositional dynamic logic ⋮ Learning by Erasing in Dynamic Epistemic Logic ⋮ Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information ⋮ Towards a ``sophisticated model of belief dynamics. II: Belief revision ⋮ Temporal languages for epistemic programs ⋮ Intensional protocols for dynamic epistemic logic ⋮ Alternating-Time Temporal Announcement Logic ⋮ Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points ⋮ An action language for multi-agent domains ⋮ Probabilistic dynamic belief revision ⋮ Public and private communication are different: Results on relative expressivity ⋮ On Axiomatizations of PAL ⋮ Public Announcement Logic with Distributed Knowledge ⋮ Classical Knowledge for Quantum Security ⋮ Tableau Method and NEXPTIME-Completeness of DEL-Sequents ⋮ Refinement Quantified Logics of Knowledge ⋮ Endogenizing epistemic actions ⋮ 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 ⋮ Bridging learning theory and dynamic epistemic logic ⋮ Extending probabilistic dynamic epistemic logic ⋮ Merging frameworks for interaction ⋮ Dynamic epistemic logic with communication actions ⋮ The undecidability of iterated modal relativization ⋮ A modal logic of epistemic games ⋮ Modular Games for Coalgebraic Fixed Point Logics ⋮ Prolegomena to dynamic logic for belief revision

This page was built for publication: Logics for epistemic programs