Finite Kripke models of HA are locally PA.

Erik C. W. Krabbe Hans Mulder Albert Visser Dirk van Dalen

Published in: Notre Dame J. Formal Log. (1986)

Keyphrases

kripke models
modal logic
database systems
machine learning
artificial intelligence
expert systems