Pages that link to "Item:Q2835877"

The following pages link to Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877):

Displaying 3 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 Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)