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