Reasoning about information change
From MaRDI portal
Recommendations
Cited in
(97)- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Bilattice logic of epistemic actions and knowledge
- scientific article; zbMATH DE number 7444842 (Why is no real title available?)
- Public and private communication are different: Results on relative expressivity
- Structures of oppositions in public announcement logic
- A four-valued dynamic epistemic logic
- Evaluations of epistemic components for resolving the muddy children puzzle
- Logics of informational interactions
- Populational announcement logic (PPAL)
- scientific article; zbMATH DE number 1537935 (Why is no real title available?)
- A temporal logic for successive events
- A cut-free labelled sequent calculus for dynamic epistemic logic
- Conditioning and interpretation shifts
- Dynamic epistemic logic with communication actions
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth
- Knowledge updates: Semantics and complexity issues
- Refinement quantified logics of knowledge
- From DEL to EDL: Exploring the Power of Converse Events
- A model for updates in a multi-agent setting
- Arrow update logic
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution
- The logic of public announcements, common knowledge, and private suspicions
- Introspection as an action in relational models
- Keep `hoping' for rationality: a solution to the backward induction paradox
- scientific article; zbMATH DE number 7471709 (Why is no real title available?)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
- Prolegomena to dynamic logic for belief revision
- Schematic Validity in Dynamic Epistemic Logic: Decidability
- To be announced
- Update as evidence: belief expansion
- A closeness- and priority-based logical study of social network creation
- Recapturing dynamic logic of relation changers via bounded morphisms
- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
- The undecidability of iterated modal relativization
- Communication pattern logic: epistemic and topological views
- Refinement modal logic
- The fundamental problem of logical omniscience
- On axiomatizations of public announcement logic
- Dynamic update with probabilities
- Situated epistemic updates
- Realizing public announcements by justifications
- A modal framework for relating belief and signed information
- A dynamic logic of interrogative inquiry
- The surprise examination in dynamic epistemic logic
- Intensional protocols for dynamic epistemic logic
- Combinatorial bitstring semantics for arbitrary logical fragments
- Reasoning about knowledge and messages in asynchronous multi-agent systems
- scientific article; zbMATH DE number 7453144 (Why is no real title available?)
- A modal logic of epistemic games
- Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
- Logical dynamics of some speech acts that affect obligations and preferences
- Logic and probabilistic update
- Arrow update synthesis
- Positive announcements
- The cognitive structure of surprise: looking for basic principles
- Expressivity and completeness for public update logics via reduction axioms
- Depth-bounded Epistemic Logic
- To know or not to know: Epistemic approaches to security protocol verification
- Modelling multi-agent epistemic planning in ASP
- A formal model of multi-agent belief-interaction
- What will they say? -- Public announcement games
- Comments to `Logics of public communications'
- A qualitative theory of dynamic interactive belief revision
- `Knowable' as `known after an announcement'
- Reasoning About Substructures and Games
- Communication among agents: a way to revise beliefs in KD45 Kripke structures
- The dynamic epistemic logic for actual knowledge
- Logics of rational interaction
- Channel theoretic reflections on dynamic logics of speech acts
- scientific article; zbMATH DE number 1983086 (Why is no real title available?)
- Epistemic Informativeness
- True lies
- Decidable Extensions of Hennessy-Milner Logic
- Towards a ``sophisticated model of belief dynamics. I: The general framework
- Propositional dynamic logic with storing, recovering and parallel composition
- Towards a ``sophisticated model of belief dynamics. II: Belief revision
- An epistemic separation logic with action models
- Multi-agent justification logic: communication and evidence elimination
- 2002 Annual Conference of the Australasian Association for Logic
- Rethinking epistemic logic with belief bases
- Dynamics of lying
- Information dynamics and uniform substitution
- Playing cards with Hintikka: an introduction to dynamic epistemic logic
- Epistemic logic with evidence and relevant alternatives
- Syntactic awareness in logical dynamics
- Inquisitive dynamic epistemic logic
- On revocable and irrevocable belief revision
- Merging DEL and ETL
- Revocable belief revision
- Knowledge, time, and paradox: introducing sequential epistemic logic
- On axiomatizations of PAL
- Exploring the power of converse events
- A formal model of multi-agent belief-interaction
- Dynamic epistemic logics for abstract argumentation
- Some remarks on the model theory of epistemic plausibility models
- \textsc{delphic}: practical DEL planning via possibilities
This page was built for publication: Reasoning about information change
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1357672)
