Pages that link to "Item:Q2915082"
From MaRDI portal
The following pages link to Sequent Systems for Lewis’ Conditional Logics (Q2915082):
Displaying 10 items.
- Conditional excluded middle in systems of consequential implication (Q815021) (← links)
- Decision procedures for logics of consequential implication (Q1182703) (← links)
- A Gentzen system for conditional logic (Q1327484) (← links)
- Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity (Q1694457) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765) (← links)
- A Standard Internal Calculus for Lewis’ Counterfactual Logics (Q3455776) (← links)
- Logical analysis of emotions in text from natural language (Q5114311) (← links)
- Counterfactual assumptions and counterfactual implications (Q6612878) (← links)