IRI

http://www.metaontology.pl/metaontology_populated.owl#abstract_2146
Label Language Type
abstract of Kripke: Modalit\`a E Verit\`a en rdfs:label

Annotations

  • has text
    • An introduction to Kripke's semantics for propositional and quantified modal logic (with special reference to its historical development from the original 1959 version to the extended versions of 1963 and 1965) and to his theory of truth.

Same Individuals

Types

Object properties

Data properties