General Logic

MSC 2020 code 03B covers the foundations and general theory of logic, including propositional, predicate, and modal logics, as well as investigations of logical consequence, completeness, and decidability. It also encompasses meta-logical topics such as proof theory, model theory, and the algebraic study of logical calculi.