In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional, and is "intuitively" characterised by expressing a modal attitude about the proposition to which the operator is applied. The concrete examples in this entry relate modality to literary theory.

PropertyValue
dbpprop:abstract
  • In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional, and is "intuitively" characterised by expressing a modal attitude about the proposition to which the operator is applied. The concrete examples in this entry relate modality to literary theory.
  • Operatory modalne to symbole używane w różnego typu logikach modalnych, nadające swoim argumentom specjalne znaczenie. W "zwyczajnej" logice operatory to: przeczenie <math>\neg \phi</math> alternatywa <math>\phi \or \psi</math> koniunkcja <math>\phi \and \psi</math> W logikach modalnych wprowadza się nowe operatory, takie jak np. : <math>\square \phi</math> – jest konieczne, że <math>\phi</math> <math>\diamonds \phi</math> – jest możliwe, że <math>\phi</math> <math>F\phi</math> – kiedyś nastąpi <math>\phi</math> <math>G\phi</math> – zawsze będzie zachodziło <math>\phi</math> <math>\phi U \psi</math> – <math>\phi</math> będzie zachodziło tak długo, aż nie zajdzie <math>\psi</math>, przy czym <math>\psi</math> na pewno kiedyś zajdzie Zobacz też: logika modalna, logika temporalna, przegląd zagadnień z zakresu matematyki.
dbpprop:date
  • November 2008
dbpprop:hasPhotoCollection
dbpprop:wikiPageUsesTemplate
rdfs:comment
  • In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional, and is "intuitively" characterised by expressing a modal attitude about the proposition to which the operator is applied. The concrete examples in this entry relate modality to literary theory.
  • Operatory modalne to symbole używane w różnego typu logikach modalnych, nadające swoim argumentom specjalne znaczenie. W "zwyczajnej" logice operatory to: przeczenie <math>\neg \phi</math> alternatywa <math>\phi \or \psi</math> koniunkcja <math>\phi \and \psi</math> W logikach modalnych wprowadza się nowe operatory, takie jak np.
rdfs:label
  • Modal operator
  • Operator modalny
owl:sameAs
skos:subject
foaf:page