Modal Horn Classes |
| |
| Authors: | Sturm Holger |
| |
| Institution: | 1.Institut für Philosophie, Logik und Wissenschaftstheorie, Ludwig-Maximilians-Universit?t München, Ludwigstra?e 31, D-80539, München
; |
| |
| Abstract: | This paper deals with modal Horn formulas. It contains a characterization of the classes of models definable by modal universal
Horn formulas as well as a preservation result for modal universal Horn formulas.
This revised version was published online in June 2006 with corrections to the Cover Date. |
| |
| Keywords: | modal logic model theory definability |
| 本文献已被 SpringerLink 等数据库收录！ |
|
