section_path: Systems of logic/Extended/Modal logic
section_name: Modal logic
paragraph_text: Modal logic
  
  Modal logic is an extension of classical logic. In its original form, sometimes called "alethic modal logic", it introduces two new symbols: ◊ {\displaystyle \Diamond } expresses that something is possible while ◻ {\displaystyle \Box } expresses that something is necessary. For example, if the formula B (s) {\displaystyle B(s)} stands for the sentence "Socrates is a banker" then the formula ◊ B (s) {\displaystyle \Diamond B(s)} articulates the sentence "It is possible that Socrates is a banker". To include these symbols in the logical formalism, modal logic introduces new rules of inference that govern what role they play in inferences. One rule of inference states that, if something is necessary, then it is also possible. This means that ◊ A {\displaystyle \Diamond A} follows from ◻ A {\displaystyle \Box A}. Another principle states that if a proposition is necessary then its negation is impossible and vice versa. This means that ◻ A {\displaystyle \Box A} is equivalent to ¬ ◊ ¬ A {\displaystyle \lnot \Diamond \lnot A}.
  
  Other forms of modal logic introduce similar symbols but associate different meanings with them to apply modal logic to other fields. For example, deontic logic concerns the field of ethics and introduces symbols to express the ideas of obligation and permission, i.e. to describe whether an agent has to perform a certain action or is allowed to perform it. The modal operators in temporal modal logic articulate temporal relations. They can be used to express, for example, that something happened at one time or that something is happening all the time. In epistemology, epistemic modal logic is used to represent the ideas of knowing something in contrast to merely believing it to be the case.