The following pages link to Regression in Modal Logic (Q3647207):
Displayed 8 items.
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- A description logic based situation calculus (Q604908) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- Comments to `Logics of public communications' (Q2460186) (← links)
- Preferential Reasoning for Modal Logics (Q2825407) (← links)
- Alternating-Time Temporal Announcement Logic (Q3092297) (← links)
- A Semantical Account of Progression in the Presence of Defaults (Q3637332) (← links)