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.
Similar content being viewed by others
References
van Benthem, J. F. A. K., 1976, Model Correspondence Theory, PhD thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam.
van Benthem, J. F. A. K., 1989, ‘Notes on modal definability’ Notre Dame Journal of Formal Logic 30, 20–35.
van Benthem, J. F. A. K., 1991, ‘Modal frame classes, revisited’, ILLC Research Report ML-91-12, Institute for Language, Logic and Information.
Chang, C. C., and H. J. Keisler, 1977, Model Theory, volume 173 of Studies in Logic and the Foundations of Mathematics, Elsevier Science Publishers B. V.
Gabbay, D. M., 1981, ‘An irreflexivity lemma with applications to axiomatizations of conditions on linear frames’, in: U. Mönnich (ed.), Aspects of Philosophical Logic, Reidel, Dordrecht, 67–89.
Gabbay, D. M., I. Hodkinson and M. Reynolds, 1993, Temporal logic: mathematical foundations and computational aspects, Oxford University Press, Oxford.
Gargov, G., and V. Goranko, 1993, ‘Modal logic with names’, Journal of Philosophical Logic 22, 607–636.
Goldblatt, R., 1976, ‘Metamathematics of modal logic I’, Reports on Mathematical Logic 6, 41–77.
Goldblatt, R., 1976, ‘Metamathematics of modal logic II’, Reports on Mathematical Logic 7, 21–52.
Goldblatt, R., and S. Thomason, 1975, ‘Axiomatic classes in propositional modal logic’, in: J. Crossley (ed.), Algebra and Logic, volume 450 of Lecture Notes in Mathematics, Springer, Berlin, 163–173.
Goranko, V., 1990, ‘Modal definability in enriched languages’, Notre Dame Journal of Formal Logic 31, 81–105.
Goranko, V., 1991, ‘Applications of quasi-structural rules to axiomatizations in modal logic’ in: Abstracts of the 9th international Congress of Logic, Methodology and Philosophy of Science, volume Volume 1: Logic, Uppsala, 119.
Goranko, V., 1997, ‘Axiomatizations of context rules of inference in modal logic’, A full paper on the results announced in [12]. To appear in Studia Logica.
Kuhn, S., 1989, ‘The domino relation: flattening a two-dimensional logic’, Journal of Philosophical Logic 18, 173–195.
MikulÁs, Sz., 1993, ‘Gabbay-style calculi’, Bulletin of the Section of Logic 22(2), 50–60.
de Rijke, M., 1992, ‘The modal logic of inequality’, Journal of Symbolic Logic 57, 566–584.
Venema, Y., 1991, Many-Dimensional Modal Logic, PhD thesis, University of Amsterdam.
Venema, Y., 1993, ‘Derivation rules as anti-axioms’, Journal of Symbolic Logic 58, 1003–1054.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hollenberg, M. Characterizations of Negative Definability in Modal Logic. Studia Logica 60, 357–386 (1998). https://doi.org/10.1023/A:1005081328928
Issue Date:
DOI: https://doi.org/10.1023/A:1005081328928