The following pages link to Refinement modal logic (Q476194):
Displaying 25 items.
- The undecidability of quantified announcements (Q310079) (← links)
- Arbitrary arrow update logic (Q343913) (← links)
- Refining strategic ability in alternating-time temporal logic (Q528195) (← links)
- The complexity of one-agent refinement modal logic (Q744988) (← links)
- Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← links)
- Positive announcements (Q2046881) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- Arrow update synthesis (Q2216107) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- The undecidability of arbitrary arrow update logic (Q2404071) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- On refinement in rewriting logic (Q2733988) (← links)
- Refinement quantified logics of knowledge (Q2825410) (← links)
- Topological analysis of refinement (Q2863878) (← links)
- Future event logic -- axioms and complexity (Q2904048) (← links)
- Structural Refinement for the Modal nu-Calculus (Q2938159) (← links)
- Logics of Kripke meta-models (Q3061276) (← links)
- (Q3384080) (← links)
- Propositional quantification in logics of contingency (Q4586155) (← links)
- Differential Refinement Logic (Q4635909) (← links)
- (Q4636025) (← links)
- (Q5104718) (← links)
- (Q5471131) (← links)
- To be announced (Q6040661) (← links)
- Action models for coalition logic (Q6550523) (← links)