The following pages link to Arbitrary arrow update logic (Q343913):
Displaying 11 items.
- Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← 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)
- (Q3384080) (← links)
- The expressivity of update logics (Q5262482) (← links)
- To be announced (Q6040661) (← links)
- Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard (Q6199614) (← links)
- First steps in updating knowing how (Q6550518) (← links)
- An arrow-based dynamic logic of normative systems and its decidability (Q6562529) (← links)