Studia Logica 60 (3):357-386 (1998)

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 Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
DOI 10.1023/A:1005081328928
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,242
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Some Characterization and Preservation Theorems in Modal Logic.Tin Perkov - 2012 - Annals of Pure and Applied Logic 163 (12):1928-1939.
Existential Definability of Modal Frame Classes.Tin Perkov & Luka Mikec - 2020 - Mathematical Logic Quarterly 66 (3):316-325.

Add more citations

Similar books and articles


Added to PP index

Total views
27 ( #388,910 of 2,419,525 )

Recent downloads (6 months)
1 ( #542,629 of 2,419,525 )

How can I increase my downloads?


My notes