Hostname: page-component-8448b6f56d-gtxcr Total loading time: 0 Render date: 2024-04-18T00:07:41.656Z Has data issue: false hasContentIssue false
  • English
  • Français

On axiomatising products of Kripke frames

Published online by Cambridge University Press:  12 March 2014

Ágnes Kurucz
Ágnes Kurucz*
Affiliation:
Department of Computing, Imperial College, London, England, E-mail: kuag@doc.ic.ac.uk
Get access Rights & Permissions [Opens in a new window]

Abstract

It is shown that the many-dimensional modal logic Kn, determined by products of n-many Kripke frames, is not finitely axiomatisable in the n-modal language, for any n > 2. On the other hand, Kn is determined by a class of frames satisfying a single first-order sentence.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 65 , Issue 2 , June 2000 , pp. 923 - 945
Copyright
Copyright © Association for Symbolic Logic 2000

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]Andréka, H., Németi, I., and van Benthem, J., Modal languages and bounded fragments of predicate logic, Journal of Philosophical Logic, vol. 27 (1998), pp. 217–274.CrossRefGoogle Scholar
[2]Baader, F. and Ohlbach, H.J., A multi-dimensional terminological knowledge representation language, Journal of Applied Non-Classical Logic, vol. 5 (1995), pp. 153–197.CrossRefGoogle Scholar
[3]Chang, C.C. and Keisler, H.J., Model theory, 2nd ed., North Holland, 1973.Google Scholar
[4]Fagin, R., Halpern, J.Y., Moses, Y., and Vardi, M.Y., Reasoning about knowledge, MIT Press, 1995.Google Scholar
[5]Fine, K., Some connections between modal and elementary logic, Proceedings of the Third Scandinavian Logic Symposium (Kanger, S., editor), Studies in Logic, vol. 82, North Holland, 1975, pp. 15–31.CrossRefGoogle Scholar
[6]Gabbay, D.M., Fibring logics, Clarendon Press, Oxford, 1999.Google Scholar
[7]Gabbay, D.M. and Shehtman, V.B., Products of modal logics, Part I, Logic Journal of the IGPL, vol. 6(1998), pp. 73–146.CrossRefGoogle Scholar
[8]Goldblatt, R., Varieties of complex algebras, Annals of Pure and Applied Logic, vol. 44 (1989), pp. 173–242.CrossRefGoogle Scholar
[9]Henkin, L., Monk, J.D., and Tarski, A., Cylindric algebras, Part II, North Holland, 1985.Google Scholar
[10]Hirsch, R. and Hodkinson, I., Complete representations in algebraic logic, this Journal, vol. 62 (1997), pp. 816–847.Google Scholar
[11]Johnson, J.S., Nonfinitizability of classes of representable polyadic algebras, this Journal, vol. 34 (1969), pp. 344–352.Google Scholar
[12]Segerberg, K., Modal logics with linear alternative relations, Theoria, vol. 36 (1970), pp. 301–322.CrossRefGoogle Scholar
[13]Segerberg, K., Two-dimensional modal logic, Journal of Philosophical Logic, vol. 2 (1973), pp. 77–96.CrossRefGoogle Scholar
[14]Shehtman, V., Two-dimensional modal logics, Math. Zametki, vol. 5 (1978), pp. 759–772.Google Scholar
[15]Spaan, E., Complexity of modal logics, Ph.D. thesis, University of Amsterdam, 1993.Google Scholar
[16]van Benthem, J., Some kinds of modal completeness, Studia Logica, vol. 39 (1980), pp. 125–141.CrossRefGoogle Scholar