Pages that link to "Item:Q2825410"
From MaRDI portal
The following pages link to Refinement quantified logics of knowledge (Q2825410):
Displaying 8 items.
- Refinement modal logic (Q476194) (← links)
- The complexity of one-agent refinement modal logic (Q744988) (← links)
- Free quantified epistemic logics (Q2016054) (← links)
- Arrow update synthesis (Q2216107) (← links)
- Future event logic -- axioms and complexity (Q2904048) (← links)
- Logics of Kripke meta-models (Q3061276) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191595) (← links)
- To be announced (Q6040661) (← links)