Modal logic
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. Modals—words that express modalities—qualify a statement. For example, the statement "John is happy" might be qualified by saying that John is usually happy, in which case the term "usually" is functioning as a modal. The traditional alethic modalities, or modalities of truth, include possibility ("Possibly, p", "It is possible that p"), necessity ("Necessarily, p", "It is necessary that p"), and impossibility ("Impossibly, p", "It is impossible that p"). Other modalities that have been formalized in modal logic include temporal modalities, or modalities of time (notably, "It was the case that p", "It has always been that
main interest
notableIdea
Wikipage disambiguates
seeAlso
primaryTopic
Modal logic
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. Modals—words that express modalities—qualify a statement. For example, the statement "John is happy" might be qualified by saying that John is usually happy, in which case the term "usually" is functioning as a modal. The traditional alethic modalities, or modalities of truth, include possibility ("Possibly, p", "It is possible that p"), necessity ("Necessarily, p", "It is necessary that p"), and impossibility ("Impossibly, p", "It is impossible that p"). Other modalities that have been formalized in modal logic include temporal modalities, or modalities of time (notably, "It was the case that p", "It has always been that
has abstract
Die Modallogik ist derjenige Z ...... rweise sind alle Kreise rund“.
@de
En logique, une logique modale ...... programmes puis les vérifier.
@fr
Logika modalna – teoria logicz ...... ne) na przykładzie systemu S5.
@pl
Lógica modal se refere a qualq ...... ica, veja semântica de Kripke.
@pt
Modal logic is a type of forma ...... essarily and "M" for Possibly.
@en
Modale logica's kunnen worden ...... vaak Kripkemodellen gebruikt.
@nl
Nell'ambito della logica forma ...... ica e nelle scienze cognitive.
@it
Una lógica modal es un sistema ...... stémica y la lógica doxástica.
@es
Модальная логика (от лат. modu ...... огда не была столицей России».
@ru
المنطق الطوري أو منطق الموجهات ...... لمتوقع" و"من المفترض" و"ربما".
@ar
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
744,439,356
type
comment
Die Modallogik ist derjenige Z ...... rweise sind alle Kreise rund“.
@de
En logique, une logique modale ...... est obligatoire qu’il pleuve.
@fr
Logika modalna – teoria logicz ...... ne) na przykładzie systemu S5.
@pl
Lógica modal se refere a qualq ...... como (ou L) para Necessário e
@pt
Modal logic is a type of forma ...... p", "It has always been that
@en
Modale logica's kunnen worden ...... Clarence Irving Lewis (1918).
@nl
Nell'ambito della logica forma ...... o per esprimere la necessità e
@it
Una lógica modal es un sistema ...... la verdad del juicio «2+2=4».
@es
Модальная логика (от лат. modu ...... ь, что» (логика доказуемости).
@ru
المنطق الطوري أو منطق الموجهات ...... لمتوقع" و"من المفترض" و"ربما".
@ar
label
Logica modale
@it
Logika modalna
@pl
Logique modale
@fr
Lógica modal
@es
Lógica modal
@pt
Modal logic
@en
Modale logica
@nl
Modallogik
@de
Модальная логика
@ru
منطق موجهات
@ar