Switch to: Citations

References in:

A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS

H. C. M. de Swart

Journal of Symbolic Logic 48 (1):1-20 (1983)

Add references

You must login to add references.

A semantic analysis of conditional logic.Robert C. Stalnaker & Richmond H. Thomason - 1970 - Theoria 36 (1):23-42.details Logic of Conditionals in Philosophy of Language Direct download (2 more) Export citation Bookmark 108 citations
Counterfactuals and comparative possibility.David Lewis - 1973 - Journal of Philosophical Logic 2 (4):418-446.details David Lewis in 20th Century Philosophy Possible-World Theories of Counterfactuals in Philosophy of Language Direct download (5 more) Export citation Bookmark 147 citations
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.details Modal Logic in Logic and Philosophy of Logic Semantics for Modal Logic in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 264 citations
Intuitionistic Logic Model Theory and Forcing.F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.details Logic and Philosophy of Logic Direct download Export citation Bookmark 32 citations
Counterfactuals.David Lewis - 1973 - Philosophy of Science 42 (3):341-344.details Science, Logic, and Mathematics Export citation Bookmark 1118 citations
Gentzen-type systems for C,. K and several extensions of C and K.H. C. M. De Swart - 1980 - Logique Et Analyse 23 (90):263.details Logic and Philosophy of Logic Export citation Bookmark 1 citation
A Fitch-style formulation of conditional logic.Richmond H. Thomason - 1970 - Logique Et Analyse 52:397-412.details Logical Expressions in Logic and Philosophy of Logic Export citation Bookmark 17 citations

1