@prefix owl: . @prefix dbpedia: . dbpedia:Modal_operator owl:sameAs . @prefix foaf: . @prefix ns3: . dbpedia:Modal_operator foaf:page ns3:Modal_operator . @prefix rdfs: . dbpedia:Modal_operator rdfs:label "Modal operator"@en , "Operator modalny"@pl . @prefix dbpprop: . dbpedia:Modal_operator 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."@en , "Operatory modalne to symbole u\u017Cywane w r\u00F3\u017Cnego typu logikach modalnych, nadaj\u0105ce 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\u0119 nowe operatory, takie jak np. : <math>\\square \\phi</math> – jest konieczne, \u017Ce <math>\\phi</math> <math>\\diamonds \\phi</math> – jest mo\u017Cliwe, \u017Ce <math>\\phi</math> <math>F\\phi</math> – kiedy\u015B nast\u0105pi <math>\\phi</math> <math>G\\phi</math> – zawsze b\u0119dzie zachodzi\u0142o <math>\\phi</math> <math>\\phi U \\psi</math> – <math>\\phi</math> b\u0119dzie zachodzi\u0142o tak d\u0142ugo, a\u017C nie zajdzie <math>\\psi</math>, przy czym <math>\\psi</math> na pewno kiedy\u015B zajdzie Zobacz te\u017C: logika modalna, logika temporalna, przegl\u0105d zagadnie\u0144 z zakresu matematyki."@pl ; rdfs:comment "Operatory modalne to symbole u\u017Cywane w r\u00F3\u017Cnego typu logikach modalnych, nadaj\u0105ce 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\u0119 nowe operatory, takie jak np."@pl , "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."@en . @prefix skos: . @prefix ns7: . dbpedia:Modal_operator skos:subject ns7:Modal_logic , ns7:Literary_theory . @prefix ns8: . dbpedia:Modal_operator dbpprop:wikiPageUsesTemplate ns8:expert-subject ; dbpprop:date "November 2008"@en . @prefix ns9: . dbpedia:Modal_operator dbpprop:hasPhotoCollection ns9:Modal_operator .