Semantical Analysis of Modal Logic I¶

Kripke, S. A. (1963). Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 9(5–6), 5-6.

Type: Journal article
Intellectual base: Primary research
Year: 1963
DOI: 10.1002/malq.19630090502
Link: https://doi.org/10.1002/malq.19630090502

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Accessibility Relation
- A model adds a valuation, `M = ⟨W,R,V⟩`, but the relation belongs to the frame and can be studied independently of how propositional letters are valued.

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:a3c13f114b3a · see in the full table