modal logic

Summary

modal logic is a mathematical theory^[1]. It has Wikipedia articles in 22 language editions, a strong signal of global cultural recognition.^[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 is a type of logical system^[6].
• modal logic is a type of Intensional logic^[7].
• modal logic is part of logic^[8].
• modal logic is part of mathematical logic^[9].
• modal logic's Commons category is recorded as Modal logic^[10].
• modal logic's topic's main category is recorded as Category:Modal logic^[11].
• modal logic's described by source is recorded as Encyclopædia Britannica 11th edition^[12].
• modal logic's described by source is recorded as Armenian Soviet Encyclopedia, vol. 7^[13].
• modal logic's Stack Exchange tag is recorded as https://philosophy.stackexchange.com/tags/modal-logic^[14].
• modal logic's Stack Exchange tag is recorded as https://proofassistants.stackexchange.com/tags/modal-logic^[15].

Body

Definition and Type

modal logic's instance of is recorded as mathematical theory^[5]. Recorded subclass of include logical system^[6] and Intensional logic^[7].

Use and Application

Part of include logic^[8], a class used in Universal Decimal Classification^[16] and mathematical logic^[9], a branch of mathematics^[17].

Movements and Schools

Acknowledged influences include propositional calculus^[3] and predicate logic^[4], a mathematical theory^[18].

Why It Matters

modal logic has Wikipedia articles in 22 language editions, a strong signal of global cultural recognition.^[2] It is known by 25 alternative names across languages and contexts.^[19]