Dynamic Epistemic Logic and Knowledge Puzzles
From MaRDI portal
Publication:3608740
Recommendations
Cited in
(only showing first 100 items - show all)- Exploring the tractability border in epistemic tasks
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity
- Some topological properties of paraconsistent models
- A dynamic epistemic logic analysis of the equality negation task
- What will they say? -- Public announcement games
- A general multi-agent epistemic planner based on higher-order belief change
- Efficient multi-agent epistemic planning: teaching planners about nested belief
- Comments to `Logics of public communications'
- A qualitative theory of dynamic interactive belief revision
- Belief revision and projection in the epistemic situation calculus
- Playing cards with Hintikka: an introduction to dynamic epistemic logic
- Agreement theorems in dynamic-epistemic logic
- Substantive assumptions in interaction: a logical perspective
- The many faces of closure and introspection. An ineractive perspective
- Verification of multi-agent systems with public actions against strategy logic
- Logic and social cognition. The facts matter, and so do computational models
- On the succinctness of some modal logics
- Revising beliefs towards the truth
- Logics of rational interaction
- The logic of framing effects
- A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
- On the logic of balance in social networks
- Dynamic term-modal logics for first-order epistemic planning
- Epistemic logic for rule-based agents
- Dynamic epistemic logic with branching temporal structures
- Epistemic protocols for dynamic gossip
- On the progression of belief
- Duhem's problem revisited: logical versus epistemic formulations and solutions
- The surprise examination paradox in dynamic epistemic logic
- A history based logic for dynamic preference updates
- Regression and progression in stochastic domains
- The modal logic of Bayesian belief revision
- Where logic and agents meet
- Knowledge forgetting: properties and applications
- Copy and remove as dynamic operators
- Belief update as social choice
- A formal model of emotion triggers: an approach for BDI agents
- Action emulation
- Multi-agent justification logic: communication and evidence elimination
- Situated Modeling of Epistemic Puzzles
- Von Wright's ``The logic of preference revisited
- Rethinking epistemic logic with belief bases
- Dynamics of lying
- Hidden protocols: modifying our expectations in an evolving world
- The interrogative model of inquiry meets dynamic epistemic logics
- At least not false, at most possible: between truth and assertibility of superlative quantifiers
- Merging DEL and ETL
- A dynamic logic for learning theory
- Knowledge, time, and paradox: introducing sequential epistemic logic
- Exploring the power of converse events
- Awareness dynamics
- A logical approach to doxastic causal reasoning
- Two logical faces of belief revision
- Evidence and plausibility in neighborhood structures
- Logical omniscience as infeasibility
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- How much does it help to know what she knows you know? An agent-based simulation study
- Public and private communication are different: Results on relative expressivity
- Structures of oppositions in public announcement logic
- Inference and update
- Temporal languages for epistemic programs
- scientific article; zbMATH DE number 7084828 (Why is no real title available?)
- From KLM-style conditionals to defeasible modalities, and back
- A four-valued dynamic epistemic logic
- A dynamic epistemic framework for reasoning about conformant probabilistic plans
- Verification of dynamic bisimulation theorems in Coq
- On the use (and abuse) of logic in game theory
- The logic of fast and slow thinking
- Predicate change. A study on the conservativity of conceptual change
- Logics for belief as maximally plausible possibility
- A public announcement separation logic
- A temporal logic for successive events
- Epistemic monadic Boolean algebras
- Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection
- Completeness results for memory logics
- The modal logic of copy and remove
- Conditioning and interpretation shifts
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Sum and Product in Dynamic Epistemic Logic
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth
- Logic in general philosophy of science: Old things and new things
- McCarthy variations in a modal key
- Modeling reasoning in a social setting
- Simulative belief logic
- A sketch of a dynamic epistemic semiring
- An update logic for information systems
- Everything else being equal: a modal logic for ceteris paribus preferences
- Local properties in modal logic
- Tracking probabilistic truths: a logic for statistical learning
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
- Finite identification from the viewpoint of epistemic update
- The information in intuitionistic logic
- Mathematical arguments and distributed knowledge
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution
- On the dynamics of institutional agreements
- Truth-tracking by belief revision
- Manipulating games by sharing information
- A Dynamic Epistemic Logic with a Knowability Principle
- Iterated belief change in the situation calculus
- Logic and games: an introduction
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)
