Pages that link to "Item:Q1203766"
From MaRDI portal
The following pages link to A sequent- or tableau-style system for Lewis's counterfactual logic VC (Q1203766):
Displayed 8 items.
- PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS (Q2804473) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- Nested Sequent Calculi for Conditional Logics (Q2915054) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- A Standard Internal Calculus for Lewis’ Counterfactual Logics (Q3455776) (← links)
- Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
- Winter meeting of the Association for Symbolic Logic, San Antonio, 1993 (Q4302363) (← links)
- A Topos-Theoretic Approach to Counterfactual Logic (Q5170289) (← links)