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

data from the linked data cloud