Association for Symbolic Logic / Cambridge
Logic and foundations
MSC2020 · 03B45
Modal logic (including the logic of norms)
Modal logic (including the logic of norms) \{For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45\}
0 mapped entries · Browse and filter all →
Counts include all statuses and descendants. Classifications are editorial or inferred from community fields, not an AMS assessment of the problem.
Mapped problems
No published problems have been assigned to this subject yet. Related articles below are a starting point for review.
Journals & articles in MSC 03
These are selected sources for the parent class. Article coverage is a first reviewed selection, and may not cover this exact subcategory.
- The complexity of propositional proofs
2007 · 2 questions extracted
MSC2020 © Mathematical Reviews (AMS) and zbMATH · CC BY-NC-SA 4.0 · Official PDF, page 7