Back to Discover
🔢

Modal logic

math Maturity 5-7

We can think about what might happen. Some things must happen. Other things could happen. We use special rules to study this. It helps us learn. It helps us know things. Can you think of something that might happen?

39 words
🖼️ Images & Media (1)
File:Diagram_of_Normal_Modal_Logics.png
Diagram_of_Normal_Modal_Logics.png
Up Next
🔢
Philosophical logic
Math
→
More to explore

✨ What else?

Related topics you might enjoy

Philosophical logic 0% Logical consequence 0% Gödel's completeness theorem 0% Logical connective 0% Tautology (logic) 0% History of logic 0%

🔬 Go deeper

More advanced topics to explore

Philosophical logic Contingency (philosophy) Logical consequence Gödel's completeness theorem

🪜 Step back

Simpler topics to build understanding

Type theory Common knowledge (logic) Norm (philosophy) Type (model theory)
📚 Content adapted from Wikipedia | Readability: FK 11.8 | Vital Level 5