modal logic
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
Press Enter · cited answer in seconds
0 sources
modal logic
Summary
modal logic is a mathematical theory[1]. It draws 690 Wikipedia views per month (mathematical_theory category, ranking #3 of 29).[2]
Key Facts
- modal logic was influenced by propositional calculus[3].
- modal logic was influenced by predicate logic[4].
- modal logic's instance of is recorded as mathematical theory[5].
- modal logic's GND ID is recorded as 4074914-9[6].
- modal logic's subclass of is recorded as logical system[7].
- modal logic's subclass of is recorded as Intensional logic[8].
- modal logic's part of is recorded as logic[9].
- modal logic's part of is recorded as mathematical logic[10].
- modal logic's Commons category is recorded as Modal logic[11].
- modal logic's BNCF Thesaurus ID is recorded as 12077[12].
- modal logic's Freebase ID is recorded as /m/01x5k5[13].
- modal logic's NL CR AUT ID is recorded as ph137160[14].
- modal logic's topic's main category is recorded as Category:Modal logic[15].
- modal logic's National Library of Spain SpMaBN ID is recorded as XX533464[16].
- modal logic's Dewey Decimal Classification is recorded as 160.11984[17].
- modal logic's Dewey Decimal Classification is recorded as 511.314[18].
- modal logic's described by source is recorded as Encyclopædia Britannica 11th edition[19].
- modal logic's described by source is recorded as Armenian Soviet Encyclopedia, vol. 7[20].
- modal logic's Encyclopædia Britannica Online ID is recorded as topic/modal-logic[21].
- modal logic's Stack Exchange tag is recorded as https://philosophy.stackexchange.com/tags/modal-logic[22].
- modal logic's Stack Exchange tag is recorded as https://proofassistants.stackexchange.com/tags/modal-logic[23].
- modal logic's Stanford Encyclopedia of Philosophy ID is recorded as logic-modal[24].
- modal logic's Stanford Encyclopedia of Philosophy ID is recorded as logic-modal-origins[25].
- modal logic's NE.se ID is recorded as modallogik[26].
- modal logic's PhilPapers topic is recorded as modal-logic[27].
Why It Matters
modal logic draws 690 Wikipedia views per month (mathematical_theory category, ranking #3 of 29).[2] It has Wikipedia articles in 22 language editions, a strong signal of global cultural recognition.[28] It is known by 25 alternative names across languages and contexts.[29]