The following pages link to (Q2756788):
Displayed 5 items.
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- Multi-modal nonmonotonic logics of minimal knowledge (Q2642626) (← links)
- The Truth about Defaults (Q2900537) (← links)
- A Semantical Account of Progression in the Presence of Defaults (Q3637332) (← links)