The following pages link to A modal nonmonotonic logic (Q1924422):
Displaying 7 items.
- Non-adjunctive inference and classical modalities (Q812093) (← links)
- A non-preferential semantics of non-monotonic modal logic (Q1028644) (← links)
- An alternative rule of disjunction in modal logic (Q1187537) (← links)
- The open logic and its relation to circumscription (Q1297717) (← links)
- Multi-modal nonmonotonic logics of minimal knowledge (Q2642626) (← links)
- (Q3639040) (← links)
- Implementation einer musterorientierten Expertensystem-Shell und Kalküle für eine intuitionistische Modallogik als Basis des nicht- monotonen Schließens. (Implementation of a pattern-oriented expert system shell and calculi for an intuitionistic modal (Q3995696) (← links)