Characterizations of Negative Definability in Modal Logic |
| |
Authors: | Hollenberg Marco |
| |
Institution: | (1) Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, the Netherlands |
| |
Abstract: | Negative definability (18]) is an alternative way of defining classes of Kripke frames via a modal language, one that enables us, for instance, to define the class of irreflexive frames. Besides a list of closure conditions for negatively definable classes, the paper contains two main theorems. First, a characterization is given of negatively definable classes of (rooted) finite transitive Kripke frames and of such classes defined using both traditional (positive) and negative definitions. Second, we characterize the negatively definable classes of rooted general frames. |
| |
Keywords: | Modal logic definability irreflexivity rule characterization |
本文献已被 SpringerLink 等数据库收录! |
|