Pages that link to "Item:Q5271062"
From MaRDI portal
The following pages link to Arbitrary Action Model Logic and Action Model Synthesis (Q5271062):
Displaying 13 items.
- The undecidability of quantified announcements (Q310079) (← links)
- Arbitrary arrow update logic (Q343913) (← links)
- Refinement modal logic (Q476194) (← 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)
- (Q3384080) (← links)
- Propositional quantification in logics of contingency (Q4586155) (← links)
- (Q5028475) (← links)
- To be announced (Q6040661) (← links)
