The following pages link to Refinement modal logic (Q476194):
Displayed 6 items.
- The undecidability of quantified announcements (Q310079) (← links)
- Arbitrary arrow update logic (Q343913) (← links)
- Refining strategic ability in alternating-time temporal logic (Q528195) (← links)
- Arrow update synthesis (Q2216107) (← links)
- The undecidability of arbitrary arrow update logic (Q2404071) (← links)
- Propositional quantification in logics of contingency (Q4586155) (← links)