Pages that link to "Item:Q2904048"
From MaRDI portal
The following pages link to Future event logic -- axioms and complexity (Q2904048):
Displaying 9 items.
- The undecidability of quantified announcements (Q310079) (← links)
- Refinement modal logic (Q476194) (← links)
- The complexity of one-agent refinement modal logic (Q744988) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- Refinement quantified logics of knowledge (Q2825410) (← links)
- The Complexity of One-Agent Refinement Modal Logic (Q2915064) (← links)
- (Q5417801) (← links)
- To be announced (Q6040661) (← links)