Hostname: page-component-76fb5796d-wq484 Total loading time: 0 Render date: 2024-04-25T10:16:43.404Z Has data issue: false hasContentIssue false
  • English
  • Français

Quasi-Modal Equivalence of Canonical Structures

Published online by Cambridge University Press:  12 March 2014

Robert Goldblatt
Robert Goldblatt*
Affiliation:
Victoria University, School of Mathematical and Computing Sciences, P.O. Box 600, Wellington, New Zealand, E-mail: Rob.Goldblatt@vuw.ac.nz
Get access Rights & Permissions [Opens in a new window]

Abstract

A first-order sentence is quasi-modal if its class of models is closed under the modal validity preserving constructions of disjoint unions, inner substructures and bounded epimorphic images.

It is shown that all members of the proper class of canonical structures of a modal logic Λ have the same quasi-modal first-order theory ΨΛ. The models of this theory determine a modal logic Λe which is the largest sublogic of Λ to be determined by an elementary class. The canonical structures of Λe also have ΨΛ as their quasi-modal theory.

In addition there is a largest sublogic Λe of Λ that is determined by its canonical structures, and again the canonical structures of Λe have ΨΛ are their quasi-modal theory. Thus . Finally, we show that all finite structures validating Λ are models of ΨΛ, and that if Λ is determined by its finite structures, then ΨΛ is equal to the quasi-modal theory of these structures.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 66 , Issue 2 , June 2001 , pp. 497 - 508
Copyright
Copyright © Association for Symbolic Logic 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Chagrov, A. and Zakharyaschev, M., Modal Logic, Oxford University Press, 1997.CrossRefGoogle Scholar
[2]Fine, K., Some connections between elementary and modal logic, Third Scandinavian Logic Symposium (North Holland) (Kanger, S., editor), 1975, pp. 15–31.CrossRefGoogle Scholar
[3]Goldblatt, R., Varieties of complex algebras, Annals of Pure and Applied Logic, vol. 44 (1989), pp. 173–242.CrossRefGoogle Scholar
[4]Goldblatt, R., Elementary logics are canonical and pseudo-equational, Mathematics of Modality, CSLI Lecture Notes, no. 43, Cambridge University Press, Stanford, California, 1993, pp. 243–257.Google Scholar
[5]Goldblatt, R., Metamathematics of modal logic, Mathematics of Modality, CSLI Lecture Notes, no. 43, Cambridge University Press, Stanford, California, 1993, pp. 9–79.Google Scholar
[6]Goldblatt, R., Elementary generation and canonicity for varieties of boolean algebras with operatos, Algebra Universalis, vol. 34 (1995), pp. 551–607.CrossRefGoogle Scholar
[7]Surendonk, T. J., Canonicity for intensional logics, Ph.D. dissertation, Australian National University, Canberra, Australia, 1998.Google Scholar
[8]Surendonk, T. J., On isomorphisms between canonical frames, Advances in Modal Logic, vol, 1, CSLI Lecture notes, no. 87, CSLI Publications, Stanford, California, 1998, pp. 249–268.Google Scholar