Pages that link to "Item:Q2946579"
From MaRDI portal
The following pages link to Tableau calculus for preference-based conditional logics (Q2946579):
Displayed 6 items.
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models (Q2915053) (← 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)
- A Standard Internal Calculus for Lewis’ Counterfactual Logics (Q3455776) (← links)