Pages that link to "Item:Q2835877"
From MaRDI portal
The following pages link to Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877):
Displaying 5 items.
- 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)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning (Q6602216) (← links)