IRI

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

Adnotacje

  • zawiera tekst
    • 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.

Identyczne obiekty

Typy

Object properties

Data properties