Find link

language:

Find link is a tool written by Edward Betts.

searching for Modal operator 21 found (42 total)

List of logic symbols (256 words) [view diff] exact match in snippet view article find links to article

be modal operator ⟤ U+25A4 white square with leftwards tick was always modal operator ⟥ U+25A5 white square with rightwards tick will always be modal operator

Free choice inference (568 words) [view diff] exact match in snippet view article find links to article

receive a logical conjunctive interpretation when it interacts with a modal operator. For example, the following English sentences can be interpreted to

Deontic logic (2,963 words) [view diff] exact match in snippet view article find links to article

are multiple agents involved in the domain of discourse, the deontic modal operator can be specified to each agent to express their individual obligations

Interpretability logic (610 words) [view diff] exact match in snippet view article find links to article

propositional logic by adding the unary modal operator ◻ {\displaystyle \Box } and the binary modal operator ▹ {\displaystyle \triangleright } (as always

De dicto and de re (1,488 words) [view diff] exact match in snippet view article find links to article

existential quantifiers are within the scope of the modal operator, whereas in de re claims the modal operator falls within the scope of the existential quantifier

Vincent F. Hendricks (982 words) [view diff] exact match in snippet view article find links to article

epistemic logic, formal learning theory and what is called 'modal operator epistemology'. Modal operator epistemology, developed first by Hendricks in The Convergence

Standard translation (845 words) [view diff] exact match in snippet view article find links to article

Initially, a free variable x {\displaystyle x} is used and whenever a modal operator needs to be translated, a fresh variable is introduced to indicate that

Formal ethics (1,605 words) [view diff] exact match in snippet view article find links to article

(called "anti-modal" view, because an underline doesn't behave like a modal operator). With this interpretation, the negation of an imperative (e.g. ¬ A

Imperative logic (1,021 words) [view diff] exact match in snippet view article find links to article

formulation by Jørgensen. Deontic logic takes the approach of adding a modal operator O {\displaystyle O} to an argument with imperatives such that a truth-value

Logico-linguistic modeling (1,517 words) [view diff] exact match in snippet view article find links to article

by the "L" modal operator) and connective added at the knowledge elicitation stage are possibility true (indicated by the "M" modal operator). Before proceeding

Gödel's ontological proof (4,409 words) [view diff] exact match in snippet view article find links to article

(modal operator for possibility) ◻ {\displaystyle \Box } : "It is necessary that...", or, "in all possible worlds, it is true that..." (modal operator

Kripke semantics (4,818 words) [view diff] exact match in snippet view article find links to article

and ¬ {\displaystyle \neg } ), and the modal operator ◻ {\displaystyle \Box } ("necessarily"). The modal operator ◊ {\displaystyle \Diamond } ("possibly")

Baluan-Pam language (3,051 words) [view diff] exact match in snippet view article find links to article

DEF:definiteness marker EMP:emphatic marker INANIM:inanimate INT:intermediate MOD:modal operator NEG:negation marker NEG1:negation marker 1 NEG2:negation marker 2 PERT:pertensive

Transaction logic (728 words) [view diff] exact match in snippet view article find links to article

X) ⊗ clear(Y) ⊗ tinsert(on(X,Y)) ⊗ tdelete(clear(Y)). Here <> is the modal operator of possibility: If both action1 and action2 are possible, execute action1

Modal adjective (408 words) [view diff] exact match in snippet view article find links to article

Here the modal adjective is analyzed semantically as a sentential modal operator. It's possible that some of them are broken. It's likely that they will

Description logic (4,305 words) [view diff] exact match in snippet view article find links to article

corresponds to a modal proposition, and a role-bounded quantifier to a modal operator with that role as its accessibility relation. Operations on roles (such

Common knowledge (logic) (3,288 words) [view diff] exact match in snippet view article

⋂ i K i ( e ) {\displaystyle E(e)=\bigcap _{i}K_{i}(e)} As with the modal operator, we will iterate the E function, E 1 ( e ) = E ( e ) {\displaystyle

Interior algebra (3,849 words) [view diff] exact match in snippet view article find links to article

interior algebra. The interior operator in this case corresponds to the modal operator □ (necessarily), while the closure operator corresponds to ◊ (possibly)

Modal logic (8,650 words) [view diff] exact match in snippet view article find links to article

which is often called a possible world. For a formula that contains a modal operator, its truth value can depend on what is true at other accessible worlds

Counterpart theory (4,527 words) [view diff] exact match in snippet view article find links to article

contingent and a priori because counterpart theory understands the modal operator in a different way than standard modal logic. The relationship between

Moral universalizability (3,171 words) [view diff] exact match in snippet view article find links to article

The two versions can be modelled in formal logic as: where C is a modal operator meaning "criterion C is satisfied by..." and Mx means "agent x practices