The following pages link to (Q5494230):
Displaying 30 items.
- The undecidability of quantified announcements (Q310079) (← links)
- Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
- Refinement modal logic (Q476194) (← links)
- Information dynamics and uniform substitution (Q484920) (← links)
- Paraconsistent dynamics (Q514033) (← links)
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth (Q542124) (← links)
- Iterative information update and stability of strategies (Q542135) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- Finite identification from the viewpoint of epistemic update (Q553305) (← links)
- Merging DEL and ETL (Q616038) (← links)
- Agreement theorems in dynamic-epistemic logic (Q692182) (← links)
- Backtracking games and inflationary fixed points (Q817842) (← links)
- The information in intuitionistic logic (Q833032) (← links)
- Logic and reasoning: do the facts matter? (Q934828) (← links)
- Diversity of agents and their interaction (Q1006512) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
- Positive announcements (Q2046881) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- The undecidability of iterated modal relativization (Q2574887) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
- Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
- ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ (Q3580674) (← links)
- Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points (Q3638279) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- Aximo: Automated Axiomatic Reasoning for Information Update (Q4982122) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
- Logic and Learning (Q5249673) (← links)
- Logic and Game Theory (Q5249678) (← links)
