Modal logic
Modal logic is a kind of logic used to represent statements about necessity and possibility. It plays a major role in philosophy and related fields as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula
Modal logic - Wikipedia Jump to content From Wikipedia, the free encyclopedia Type of formal logic Modal logic is a kind of logic used to represent statements about necessity and possibility . In philosophy and related fields it is used as a tool for understanding concepts such as knowledge , obligation , and causation . For instance, in epistemic modal logic , the formula ◻ P {\displaystyle \Box P} can be used to represent the statement that P {\displaystyle P} is known. In deontic modal logic , that same formula can represent that P {\displaystyle P} is a moral obligation. Modal logic consid
related reading
- Intuitionistic logic - Wikipediaen.wikipedia.org
- First-order logic - Wikipediaen.wikipedia.org
- Definability of Truth in Probabilistic Logic - Christiano 2013intelligence.org
- Temporal logic - Wikipediaen.wikipedia.org
- Interpretations of Probability (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Temporal Logic (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- AiML: Advances in Modal Logicaiml.net
- Against Modal Logics — LessWronglesswrong.com
- Possibility and Could-ness — LessWronglesswrong.com
- List of logic symbols - Wikipediaen.wikipedia.org
- Montague Semantics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Open Logic Project Buildsbuilds.openlogicproject.org