Pages that link to "Item:Q2804473"
From MaRDI portal
The following pages link to PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS (Q2804473):
Displaying 4 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
