Pages that link to "Item:Q2574887"
From MaRDI portal
The following pages link to The undecidability of iterated modal relativization (Q2574887):
Displayed 26 items.
- True lies (Q143747) (← links)
- The undecidability of quantified announcements (Q310079) (← links)
- Refinement modal logic (Q476194) (← links)
- On axiomatizations of public announcement logic (Q484925) (← links)
- Hidden protocols: modifying our expectations in an evolving world (Q490513) (← links)
- 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)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Implicit and explicit stances in logic (Q2000675) (← links)
- A logic for diffusion in social networks (Q2018607) (← links)
- Opaque updates (Q2037297) (← 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)
- Two Logical Faces of Belief Revision (Q4982661) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- Logic and Game Theory (Q5249678) (← links)
- To be announced (Q6040661) (← links)
- A separation logic with histories of epistemic actions as resources (Q6118687) (← links)
- Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard (Q6199614) (← links)