Pages that link to "Item:Q2574887"
From MaRDI portal
The following pages link to The undecidability of iterated modal relativization (Q2574887):
Displayed 11 items.
- Backtracking games and inflationary fixed points (Q817842) (← links)
- Logics of communication and change (Q859825) (← links)
- Dynamic epistemic logic with branching temporal structures (Q1036059) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- Epistemic planning for single- and multi-agent systems (Q2901205) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Dynamic Epistemic Logic and Temporal Modality (Q2902940) (← links)
- On Axiomatizations of PAL (Q3094017) (← links)
- ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ (Q3580674) (← links)
- The case of the hidden hand (Q3647237) (← links)
- Dynamic logic for belief revision (Q3647267) (← links)