Skip to main content
Log in

Characterizations of Negative Definability in Modal Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. van Benthem, J. F. A. K., 1976, Model Correspondence Theory, PhD thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam.

  2. van Benthem, J. F. A. K., 1989, ‘Notes on modal definability’ Notre Dame Journal of Formal Logic 30, 20–35.

    Google Scholar 

  3. van Benthem, J. F. A. K., 1991, ‘Modal frame classes, revisited’, ILLC Research Report ML-91-12, Institute for Language, Logic and Information.

  4. 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.

  5. 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.

    Google Scholar 

  6. Gabbay, D. M., I. Hodkinson and M. Reynolds, 1993, Temporal logic: mathematical foundations and computational aspects, Oxford University Press, Oxford.

    Google Scholar 

  7. Gargov, G., and V. Goranko, 1993, ‘Modal logic with names’, Journal of Philosophical Logic 22, 607–636.

    Google Scholar 

  8. Goldblatt, R., 1976, ‘Metamathematics of modal logic I’, Reports on Mathematical Logic 6, 41–77.

    Google Scholar 

  9. Goldblatt, R., 1976, ‘Metamathematics of modal logic II’, Reports on Mathematical Logic 7, 21–52.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. Goranko, V., 1990, ‘Modal definability in enriched languages’, Notre Dame Journal of Formal Logic 31, 81–105.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. Kuhn, S., 1989, ‘The domino relation: flattening a two-dimensional logic’, Journal of Philosophical Logic 18, 173–195.

    Google Scholar 

  15. MikulÁs, Sz., 1993, ‘Gabbay-style calculi’, Bulletin of the Section of Logic 22(2), 50–60.

    Google Scholar 

  16. de Rijke, M., 1992, ‘The modal logic of inequality’, Journal of Symbolic Logic 57, 566–584.

    Google Scholar 

  17. Venema, Y., 1991, Many-Dimensional Modal Logic, PhD thesis, University of Amsterdam.

  18. Venema, Y., 1993, ‘Derivation rules as anti-axioms’, Journal of Symbolic Logic 58, 1003–1054.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Marco Hollenberg.

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005081328928

Navigation