Pages that link to "Item:Q3455776"
From MaRDI portal
The following pages link to A Standard Internal Calculus for Lewis’ Counterfactual Logics (Q3455776):
Displayed 5 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← 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 Standard Internal Calculus for Lewis’ Counterfactual Logics (Q3455776) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)