References in:

A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS

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

You must login to add references.

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

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...