Dynamic Epistemic Logic and Knowledge Puzzles
From MaRDI portal
Publication:3608740
Recommendations
Cited in
(only showing first 100 items - show all)- Temporal languages for epistemic programs
- Epistemic logic for rule-based agents
- Diversity of agents and their interaction
- A logic of situated resource-bounded agents
- Logical dynamics of some speech acts that affect obligations and preferences
- Public and private communication are different: Results on relative expressivity
- Everything else being equal: a modal logic for ceteris paribus preferences
- Dynamic update with probabilities
- Bridging learning theory and dynamic epistemic logic
- Determining the environment: a modal logic for closed interaction
- Dynamic epistemic logic with branching temporal structures
- Inference and update
- Merging frameworks for interaction
- Knowledge forgetting: properties and applications
- Private announcements on topological spaces
- Belief revision and projection in the epistemic situation calculus
- At least not false, at most possible: between truth and assertibility of superlative quantifiers
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Revising beliefs towards the truth
- Local properties in modal logic
- Completeness theorems for reactive modal logics
- The many faces of closure and introspection. An ineractive perspective
- Compositional natural language semantics using independence friendly logic or dependence logic
- Truth-tracking by belief revision
- Logic and games: an introduction
- Modeling reasoning in a social setting
- Manipulating games by sharing information
- Recapturing dynamic logic of relation changers via bounded morphisms
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- Verification of dynamic bisimulation theorems in Coq
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
- Duhem's problem revisited: logical versus epistemic formulations and solutions
- A general multi-agent epistemic planner based on higher-order belief change
- An action language for multi-agent domains
- Efficient multi-agent epistemic planning: teaching planners about nested belief
- On the logic of balance in social networks
- A history based logic for dynamic preference updates
- Dynamic term-modal logics for first-order epistemic planning
- A four-valued dynamic epistemic logic
- A multi-agent depth bounded Boolean logic
- Game description language and dynamic epistemic logic compared
- On a logico-algebraic approach to AGM belief contraction theory
- A simple logic of functional dependence
- Dynamic epistemic logic for implicit and explicit beliefs
- The modal logic of Bayesian belief revision
- Regression and progression in stochastic domains
- Rethinking epistemic logic with belief bases
- A dynamic epistemic framework for reasoning about conformant probabilistic plans
- An update logic for information systems
- The modal logic of copy and remove
- Substantive assumptions in interaction: a logical perspective
- Simulative belief logic
- How much does it help to know what she knows you know? An agent-based simulation study
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution
- Realizing public announcements by justifications
- Comments to `Logics of public communications'
- On the use (and abuse) of logic in game theory
- The surprise examination paradox in dynamic epistemic logic
- Logics of rational interaction
- Dynamic epistemic logic and temporal modality
- Exploring the power of converse events
- Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic
- Belief update as social choice
- A logic of separating modalities
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time
- An epistemic separation logic
- Mathematical arguments and distributed knowledge
- Dynamic epistemic logic in update logic
- A qualitative theory of dynamic interactive belief revision
- Dynamic Epistemic Logic and Logical Omniscience
- Contemporary epistemic logic and the Lockean thesis
- The undecidability of quantified announcements
- Knowledge, time, and paradox: introducing sequential epistemic logic
- Arbitrary arrow update logic
- A Dynamic Epistemic Logic with a Knowability Principle
- Sum and Product in Dynamic Epistemic Logic
- Formal semantics of a dynamic epistemic logic for describing knowledge properties of \(\pi \)-calculus processes
- On the succinctness of some modal logics
- Multi-agent justification logic: communication and evidence elimination
- A formal model of emotion triggers: an approach for BDI agents
- Action emulation
- Logical omniscience as infeasibility
- Evidence and plausibility in neighborhood structures
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Completeness results for memory logics
- Time and defeasibility in FIPA ACL semantics
- Beliefs supported by binary arguments
- Refinement modal logic
- Situated Modeling of Epistemic Puzzles
- A DDL approach to pluralistic ignorance and collective belief
- Some topological properties of paraconsistent models
- On axiomatizations of public announcement logic
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity
- Exploring the tractability border in epistemic tasks
- Agreeing to disagree in probabilistic dynamic epistemic~logic
- Dynamics of lying
- Hidden protocols: modifying our expectations in an evolving world
- Structures of oppositions in public announcement logic
- Contraction, Revision, Expansion: Representing Belief Change Operations
- Two logical faces of belief revision
This page was built for publication: Dynamic Epistemic Logic and Knowledge Puzzles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608740)
