Modal operator
http://dbpedia.org/resource/Modal_operator an entity of type: WikicatLogicSymbols
Operatory modalne to symbole używane w różnego typu logikach modalnych, nadające swoim argumentom specjalne znaczenie. W „zwyczajnej” logice operatory to:
* przeczenie
* alternatywa
* koniunkcja W logikach modalnych wprowadza się nowe operatory, takie jak np.:
* – jest konieczne, że
* – jest możliwe, że
* – kiedyś nastąpi
* – zawsze będzie zachodziło
* – będzie zachodziło tak długo, aż nie zajdzie przy czym na pewno kiedyś zajdzie
rdf:langString
Um operador modal (ou conectivo modal) é um conectivo lógico para a lógica modal. É um operador que forma proposições a partir de outras proposições. Em geral, um operador modal tem a propriedade “formal” de ser uma função não-veritativa, e é “intuitivamente” caracterizado pela expressão de uma atitude modal (como a necessidade, possibilidade, crença ou conhecimento) sobre a proposição a que o operador é aplicado.
rdf:langString
A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional in the following sense: The truth-value of composite formulae sometimes depend on factors other than the actual truth-value of their components. In the case of alethic modal logic, a modal operator can be said to be truth-functional in another sense, namely, that of being sensitive only to the distribution of truth-values across possible worlds, actual or not. Finally, a modal operator is "intuitively" characterized by expressing a modal attitude (such as necessity, possibility, belief, or knowledge) about the proposition to which the operator is applied. See also Ga
rdf:langString
rdf:langString
Operatore modale
rdf:langString
Modal operator
rdf:langString
Operator modalny
rdf:langString
Operador modal
xsd:integer
3832714
xsd:integer
1121640140
rdf:langString
noref
rdf:langString
May 2019
rdf:langString
A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional in the following sense: The truth-value of composite formulae sometimes depend on factors other than the actual truth-value of their components. In the case of alethic modal logic, a modal operator can be said to be truth-functional in another sense, namely, that of being sensitive only to the distribution of truth-values across possible worlds, actual or not. Finally, a modal operator is "intuitively" characterized by expressing a modal attitude (such as necessity, possibility, belief, or knowledge) about the proposition to which the operator is applied. See also Garson, James, "Modal Logic", The Stanford Encyclopedia of Philosophy (Summer 2021 Edition), Edward N. Zalta (ed.), URL =
rdf:langString
Operatory modalne to symbole używane w różnego typu logikach modalnych, nadające swoim argumentom specjalne znaczenie. W „zwyczajnej” logice operatory to:
* przeczenie
* alternatywa
* koniunkcja W logikach modalnych wprowadza się nowe operatory, takie jak np.:
* – jest konieczne, że
* – jest możliwe, że
* – kiedyś nastąpi
* – zawsze będzie zachodziło
* – będzie zachodziło tak długo, aż nie zajdzie przy czym na pewno kiedyś zajdzie
rdf:langString
Um operador modal (ou conectivo modal) é um conectivo lógico para a lógica modal. É um operador que forma proposições a partir de outras proposições. Em geral, um operador modal tem a propriedade “formal” de ser uma função não-veritativa, e é “intuitivamente” caracterizado pela expressão de uma atitude modal (como a necessidade, possibilidade, crença ou conhecimento) sobre a proposição a que o operador é aplicado.
xsd:nonNegativeInteger
4661