Model Existence in Non-Compact Modal Logic |
| |
| Authors: | Tanaka Yoshihito |
| |
| Affiliation: | (1) Kyushu Sangyo University, 2-3-1 Matsukadai, Higashi-ku Fukuoka, 813-8503, Japan |
| |
| Abstract: | Predicate modal logics based on Kwith non-compact extra axioms are discussed and a sufficient condition for the model existence theorem is presented. We deal with various axioms in a general way by an algebraic method, instead of discussing concrete non-compact axioms one by one. |
| |
| Keywords: | Representation of modal algebras Non-compact logic Modal logic |
| 本文献已被 SpringerLink 等数据库收录！ |
|
