modal logic

Noun

Meaning

a system of logic whose formal properties resemble certain moral and epistemological concepts

the logical study of necessity and possibility

Source: WordNet

Synonyms

fuzzy logic epistemic logic deontic logic intuitionistic logic linear logic predicate logic computational logic first-order logic constructive logic intensional logic dynamic logic higher-order logic intuitionistic linear logic logic of awareness logic of certainty
Show all synonyms

Hypernyms

logic formal logic mathematical logic symbolic logic

Hyponyms

epistemic logic deontic logic doxastic logic alethic logic

Related terms

epistemic logic deontic logic doxastic logic

Examples

Besides axiom 1-5 and definition 1-3, a few other axioms from modal logic were tacitly used in the proof. Source: Internet

For any class C of Kripke frames, Thm(C) is a normal modal logic (in particular, theorems of the minimal normal modal logic, K, are valid in every Kripke model). Source: Internet

However, relatively few systems of modal logic can be formalised directly in natural deduction. Source: Internet

In some cases, we can use FMP to prove Kripke completeness of a logic: every normal modal logic is complete wrt a class of modal algebras, and a finite modal algebra can be transformed into a Kripke frame. Source: Internet

In the most common semantics for modal logic, many " possible worlds " are considered. Source: Internet

Intuitionistic logic Kripke semantics for the intuitionistic logic follows the same principles as the semantics of modal logic, but uses a different definition of satisfaction. Source: Internet

Close letter words and terms

modal form modal function word modal jazz modal music modal particle modal scale