Pages that link to "Item:Q2946576"
From MaRDI portal
The following pages link to Analytic tableaux calculi for KLM logics of nonmonotonic reasoning (Q2946576):
Displayed 13 items.
- Semantic characterization of rational closure: from propositional logic to description logics (Q898736) (← links)
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies (Q1632047) (← links)
- A reconstruction of multipreference closure (Q2046040) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- On rational entailment for propositional typicality logic (Q2289021) (← links)
- Typicalities and probabilities of exceptions in nonmotonic description logics (Q2329599) (← links)
- In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals (Q2398203) (← links)
- Nested Sequent Calculi for Conditional Logics (Q2915054) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765) (← links)
- From KLM-style conditionals to defeasible modalities, and back (Q5375876) (← links)
- (Q6060107) (← links)
- Defeasible linear temporal logic (Q6111141) (← links)