Modal logics with no minimal proper extensions |
| |
Authors: | George F. Schumm |
| |
Affiliation: | (1) Ohio State University, Columbus, USA |
| |
Abstract: | We show that neither the descending chain property nor the finite model property is a necessary condition for a model logic having no minimal proper extension. This answers in the negative two questions raised by G. E. Hughes. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|