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

Query : CC = 03F45
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]
• 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
• 03G25 Other algebras related to logic [See also 03F45, 06D20, 06E25, 06F35]

06-XX Order, lattices, ordered algebraic structures [See also 18B35]

• 06E25 Boolean algebras with additional operations (diagonalizable algebras, etc.) [See also 03G25, 03F45]

---

Keyword :

---

Back to the Mathematics Subject Classification (version 2000)