Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00055438n
Noun Concept
Categories: Semantics, Semantics (linguistics), Logic, Mathematical logic, Modality
EN
modal logic  necessary  necessity  4  5
EN
A system of logic whose formal properties resemble certain moral and epistemological concepts WordNet 3.0
Definitions
Relations
Sources
EN
A system of logic whose formal properties resemble certain moral and epistemological concepts WordNet 3.0 & Open English WordNet
Modal logic is a kind of logic used to represent statements about necessity and possibility. Wikipedia
A type of formal logic that extends the standards of formal logic to include the elements of modality Wikipedia Disambiguation
Formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc. Wikidata
Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission. Wiktionary
Formal system. Wiktionary (translation)
IS A
symbolic logic
mathematical theory
logical system
HAS PART
logical possibility
PART OF
symbolic logic
logic
HAS KIND
alethic logic
deontic logic
doxastic logic
epistemic logic
classical modal logic
+1 relations
DESCRIBED BY SOURCE
Armenian Soviet Encyclopedia
INFLUENCED BY
predicate calculus
propositional logic
WordNet 3.0 & Open English WordNet
EN
modal logic
Wikipedia
EN
modal logic
Wikidata
EN
modal logic
Wiktionary
EN
modal logic
Wikipedia Redirections
EN
4 (axiom), 5 (axiom), Actual propositions, alethic modal logic, Axioms of modal logic, contingent truth, History of modal logic, Impossible proposition, Impossible propositions, Intensional logics, Metaphysical contingency, Metaphysics of modalities, Modal Logic, Modal logic S5, modalized, necessary (logic), Necessary proposition, Necessary propositions, necessity (logic), rule of necessitation, semantics for modal logic, System K, ⟠

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License