Dynamic Epistemic Logic and Knowledge Puzzles

No abstract is available for this paper.

• Publication year

  2007

• Venue

  International Conference on Conceptual Structures

• Publication date

  2007-07-22

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers
  DOI 10.1007/978-3-540-73681-3_4
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• 100 PRISONERS AND A LIGHT BULB

  2009cited by this paper
• Expressivity and completeness for public update logics via reduction axioms

  2007cited by this paper
• Model Checking Logic Puzzles

  2007influential reference
• Logics of public communications

  2007cited by this paper
• Logics of communication and change

  2006cited by this paper
• Dynamic Belief Revision over Multi-Agent Plausibility Models

  2006cited by this paper
• Dynamic epistemic logic with assignment

  2005cited by this paper
• Prolegomena to Dynamic Logic for Belief Revision

  2005cited by this paper
• Dynamic epistemic modelling

  2004cited by this paper
• A Combined System for Update Logic and Belief Revision

  2004cited by this paper
• Bisimulations on Planet Kripke

  1999cited by this paper
• The semantics of actions in knowledge games

  1999cited by this paper
• Formalizing Common Sense: Papers by John McCarthy

  1998cited by this paper
• Dynamic epistemic logic

  1998influential reference
• The Logic of Public Announcements and Common Knowledge and Private Suspicions

  1998cited by this paper
• Reasoning about knowledge

  1995cited by this paper
• Epistemic logic for AI and computer science

  1995cited by this paper
• The Logic of Theory Change

  1991cited by this paper
• Formalization of two Puzzles Involving Knowledge

  1987cited by this paper
• Cheating husbands and other stories: A case study of knowledge, action, and communication

  1986cited by this paper
• On the logic of theory change: Partial meet contraction and revision functions

  1985cited by this paper
• Convention: A Philosophical Study

  1977cited by this paper
• Agreeing to Disagree

  1976cited by this paper
• Convention: A Philosophical Study.

  1970cited by this paper
• Knowledge and Belief

  1952cited by this paper

• Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete

  2025cites this paper
• Addressing Knowledge Gaps in ITSM Practice with “Learning Digital Commons”: A Case Study

  2024cites this paper
• Planning for Implicit Coordination using FOND Anonymous Submission

  2019cites this paper
• Non-Well-Founded Set Based Multi-Agent Epistemic Action Language

  2019cites this paper
• Decision Procedures for Epistemic Logic Exploiting Belief Bases

  2019influential citation
• Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

  2019cites this paper
• Program models and semi-public environments

  2019influential citation
• The Logic of Fast and Slow Thinking

  2019cites this paper
• Some Thoughts on the Logic of Imprecise Observation

  2018influential citation
• Action theories

  2018cites this paper
• The Modal Logic of Bayesian Belief Revision

  2018cites this paper
• Bimodal Logics with Contingency and Accident

  2018cites this paper
• Dynamic epistemic logic of belief change in legal judgments

  2018cites this paper
• Logical Dynamics and Dynamical Systems

  2018cites this paper
• Proposal Changing Beliefs in a Changing World

  2018influential citation
• A Topological Approach to Full Belief

  2018cites this paper
• Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction

  2018cites this paper
• Truth-Tracking by Belief Revision

  2018cites this paper
• From KLM-style conditionals to defeasible modalities, and back

  2018cites this paper
• Sequent Calculi for Logic that Includes an Infinite Number of Modalities

  2018cites this paper
• Rule-Based Reasoners in Epistemic Logic

  2018cites this paper
• Group Knowledge in Interrogative Epistemology

  2018cites this paper
• Epistemic Game Master: A referee for GDL-III Games

  2018cites this paper
• Strategic Knowledge of the Past in Quantum Cryptography

  2017influential citation
• Distributed Knowledge Whether - (Extended Abstract)

  2017cites this paper
• The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities

  2017cites this paper
• Combinatorial Bitstring Semantics for Arbitrary Logical Fragments

  2017cites this paper
• Undecidability of Relation-Changing Modal Logics

  2017cites this paper
• Cut Free Labelled Sequent Calculus for Dynamic Logic of Relation Changers

  2017cites this paper
• Reasoning About Belief, Evidence and Trust in a Multi-agent Setting

  2017cites this paper
• Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic

  2017cites this paper
• Abductive Reasoning in Dynamic Epistemic Logic

  2017cites this paper
• IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below.

  2017cites this paper
• C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions

  2017cites this paper
• Tool support for reasoning in display calculi

  2016cites this paper
• An algebraic framework for reasoning about privacy

  2016influential citation
• Transactions on Rough Sets XX

  2016cites this paper
• Logique Conditionnelle des Croyances: Sémantique de Voisinage et Calcul de Séquents

  2016cites this paper
• Modeling dialogues in multiagent systems: a paraconsistent approach

  2016influential citation
• An MDE Approach for Modelling and Reasoning About Multi-agent Systems

  2016cites this paper
• Dynamic consequence for soft information

  2016cites this paper
• Special issue on substructural logic and information dynamics: introduction

  2016influential citation
• Multiple-Source Approximation Systems, Evolving Information Systems and Corresponding Logics: A Study in Rough Set Theory

  2016cites this paper
• Announcement as effort on topological spaces

  2016cites this paper
• A Dynamic Logic of Interrogative Inquiry

  2016cites this paper
• Anti-exceptionalism about logic

  2016cites this paper
• Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition

  2016cites this paper
• On Hypothetical Judgements and Leibniz’s Notion of Conditional Right

  2015cites this paper
• Representing Imperfect Information of Procedures with Hyper Models

  2015cites this paper
• A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation

  2015cites this paper
• The Ceteris Paribus Structure of Logics of Game Forms

  2015cites this paper
• Algebraic Semantics for Dynamic Dynamic Logic

  2015cites this paper
• Announcements to Attentive Agents

  2015cites this paper
• Abduction in PDT Logic

  2015cites this paper
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time

  2015cites this paper
• Explorer Only Knowing Meets Common Knowledge

  2015cites this paper
• Une logique épistémique modeste basée sur les observations d ’ ordre supérieur

  2015influential citation
• CONTINGENCY AND KNOWING WHETHER

  2015cites this paper
• Beliefs In Multiagent Planning: From One Agent to Many

  2015cites this paper
• Planning Over Multi-Agent Epistemic States: A Classical Planning Approach

  2015cites this paper
• Languages for Imperfect Information

  2015cites this paper
• On the Modelling, Analysis, and Mitigation of Distributed Covert Channels

  2015cites this paper
• Asynchronous Announcements in a Public Channel

  2015cites this paper
• Towards Tractable Inference for Resource-Bounded Agents

  2015cites this paper
• Resource-bounded inference with three-valued neighborhood semantics

  2015cites this paper
• Exponential-Size Model Property for PDL with Separating Parallel Composition

  2015cites this paper
• Mutual Modelling in Robotics: Inspirations for the Next Steps

  2015cites this paper
• How to share knowledge by gossiping

  2015cites this paper
• Syntactic awareness in logical dynamics

  2015cites this paper
• Generation and Selection of Abductive Explanations for Non-Omniscient Agents

  2014cites this paper
• Two Logical Faces of Belief Revision

  2014cites this paper
• Procedural Information and the Dynamics of Belief

  2014cites this paper
• Refinement Quantifiers for Logics of Belief and Knowledge

  2014influential citation
• Contraction, Revision, Expansion: Representing Belief Change Operations

  2014cites this paper
• An abstract formal basis for digital crowds

  2014cites this paper
• Belief Revision and Dynamic Logic

  2014cites this paper
• Logical omniscience as infeasibility

  2014cites this paper
• Belief Revision on Modal Accessibility Relations

  2014cites this paper
• Manipulating Games by Sharing Information

  2014cites this paper
• (The Dynamic Turn in Formal Epistemology: the Case of Explanatory Reasoning)

  2014cites this paper
• Ranking Functions for Belief Change - A Uniform Approach to Belief Revision and Belief Progression

  2014cites this paper
• Dynamic Epistemic Logic as a Substructural Logic

  2014cites this paper
• Dynamics of lying

  2014cites this paper
• Formalisms for agents reasoning with stochastic actions and perceptions.

  2014cites this paper
• Non-classical Planning with a Classical Planner: The Power of Transformations

  2014cites this paper
• Finitary S5-Theories

  2014cites this paper
• Logics of temporal-epistemic actions

  2014cites this paper
• Dynamic Epistemic Logic for Implicit and Explicit Beliefs

  2014cites this paper
• Arbitrary Announcements on Topological Subset Spaces

  2014cites this paper
• Logics with Copy and Remove

  2014cites this paper
• Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others

  2014cites this paper
• Segerberg on the Paradoxes of Introspective Belief Change

  2014cites this paper
• Connecting Logics of Choice and Change

  2014cites this paper
• How Arbitrary Are Arbitrary Public Announcements?

  2014cites this paper
• Subset Space Logic with Arbitrary Announcements

  2013cites this paper
• Planning Using Dynamic Epistemic Logic: Correspondence and Complexity

  2013cites this paper
• Playing with knowledge and belief

  2013cites this paper
• Taming Complex Beliefs

  2013cites this paper
• Compositional Reasoning for Multi-modal Logics

  2013cites this paper
• Contemporary Epistemic Logic and the Lockean Thesis

  2013cites this paper