PropertyValue
rdf:type
rdfs:label
  • Modal logic
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Modal logic
skos:altLabel
  • S4
  • S5
  • temporal
  • modalities
  • Necessary
  • modal
  • calculi
  • necessitarian
  • Possibility
  • contingent
  • modality
  • necessary
  • Modality
  • necessity
  • Necessity
  • Modal
  • modal operator
  • modal operators
  • necessarily
  • necessarily true
  • possible worlds
  • modal properties
  • physically possible
  • If something is possibly false, it is not necessary
  • Alethic logic
  • Modal Logic
  • Modal Logic as Metaphysics
  • Modal logic#Alethic logic
  • Modal logic#Axiomatic systems
  • Modal logic#Basic notions
  • Modal_logic#Alethic_logic
  • Modal_logic#Axiomatic_systems
  • Modal_logic#History
  • Modal_logic#Semantics
  • S5 cube
  • intensional logics
  • metaphysics of modality
  • modal and related logics
  • modal arguments
  • modal logic
  • modal logic S4
  • modal logic in ''S5''
  • modal logic#Formal rules
  • modal logics
  • modal logics S4
  • modal metaphysics
  • modal notions
  • modal proposition
  • modal scenarios
  • modal theory
  • modal-logic
  • modalized
  • monomodal logic
  • multiple-modal logic
  • necessity and possibility (modality)
  • quantified modal logic
  • the section on axiomatic systems
is clgo:knownFor of
is clgo:mainInterest of
is clgo:notableIdea of