The following pages link to (Q3563381):
Displayed 6 items.
- A game semantics for system P (Q514506) (← links)
- Embedding and automating conditional logics in classical higher-order logic (Q1935597) (← links)
- Default consequence relations from topology and measure theory (Q2122773) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- A discrete duality between nonmonotonic consequence relations and convex geometries (Q2183103) (← links)
- In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals (Q2398203) (← links)