Pages that link to "Item:Q2999206"
From MaRDI portal
The following pages link to Optimal Tableaux for Conditional Logics with Cautious Monotonicity (Q2999206):
Displaying 8 items.
- CoLoSS (Q19079) (← links)
- Embedding and automating conditional logics in classical higher-order logic (Q1935597) (← links)
- A discrete duality between nonmonotonic consequence relations and convex geometries (Q2183103) (← 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)
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
- Adaptively applying modus ponens in conditional logics of normality (Q4583150) (← links)