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

Question : 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] [Nouveau code MSC 2000]
  • Codes MSC1991 affiliés : 03B45, 03F40

---

Mot-clé :

---

Retour à la page Classification Mathématique par Matières (version 2000)