La Classification Mathématique par matières 2000
Mathematics subject Classification 2000

Query : CC = 03B45
03-XX Mathematical logic and foundations

• 03B45 Modal logic [For knowledge and belief see 03B42; for temporal logic see 03B44; for provability logic see also 03F45]
• 03C80 Logic with extra quantifiers and operators [See also 03B42, 03B44, 03B45, 03B48]
• 03F45 Provability logics and related algebras (e.g., diagonalizable algebras) [See also 03B45, 03G25, 06E25] [New MSC 2000 code]
  • MSC 1991 codes in relation : 03B45, 03F40

---

Keyword :

---

Back to the Mathematics Subject Classification (version 2000)