The following pages link to Ground Nonmonotonic Modal Logics (Q4351800):
Displaying 11 items.
- Revisiting da Costa logic (Q301378) (← links)
- A non-preferential semantics of non-monotonic modal logic (Q1028644) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- Minimal temporal epistemic logic (Q1815428) (← links)
- On the decidability and complexity of reasoning about only knowing (Q1978243) (← links)
- Revisiting \(\mathbb Z\) (Q2443124) (← links)
- Multi-modal nonmonotonic logics of minimal knowledge (Q2642626) (← links)
- Ground Nonmonotonic Modal Logic S5: New Results (Q3374103) (← links)
- (Q4513851) (← links)
- A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)