Next:
Definition of Kripke-type models
Up:
On the Model Theory
Previous:
Hilbert-type system
Kripke-type Semantics
Definition of Kripke-type models
Soundness of KT5-models
Completeness of KT5-models
Yasuko Kitajima
Fri Jun 20 13:39:43 PDT 1997
