Modal logic

en.wikipedia.org · 9,705 words · saved by 1 readers

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

Modal logic

related reading