Modal logic

Home > Philosophy > Logic > Propositional Logic > Modal logic

Modal logic is used to study the relationship between statements and the world. It uses modal operators such as "necessarily" and "possibly" to express different levels of certainty and possibility.