Modal logic is a type of logic used to represent statements about necessity and possibility, playing a major role in philosophy and related fields. It considers the inferences that modal statements give rise to and includes unary operators representing possibility and necessity. The standard relational semantics for modal logic assigns truth values to formulas relative to possible worlds, with various proof systems existing that are sound and complete.
Carnegie Mellon University
Fall 2021
This undergraduate course introduces students to constructive logics such as intuitionistic and linear logic, focusing on their use in computer science. The goal is to understand the distinction between classical and constructive logic, define logical connectives, implement theorem provers, and explore computational interpretations of logics. Concepts covered include natural deduction, sequent calculus, logic programming, linear logic, and many more.
No concepts data
+ 35 more concepts