Login / Signup

Corrigendum to "Weak Arithmetics and Kripke Models".

Morteza Moniri
Published in: Math. Log. Q. (2004)
Keyphrases
  • kripke models
  • modal logic
  • sufficient conditions
  • artificial intelligence
  • database systems