Minimal p-morphic images, axiomatizations and coverings in the modal logic K

Studia Logica 62 (3):371-398 (1999)
  Copy   BIBTEX

Abstract

We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.
On the logic of natural kinds.Nino Cocchiarella - 1976 - Philosophy of Science 43 (2):202-222.
What one may come to know.van Benthem Johan - 2004 - Analysis 64 (2):95–105.

Analytics

Added to PP
2009-01-28

Downloads
19 (#682,951)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Finite Trees in Tense Logic.Bellissima Fabio & Cittadini Saverio - 1999 - Studia Logica 62 (2):121-140.

Add more citations

References found in this work

An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska foĢˆreningen och Filosofiska institutionen vid Uppsala universitet.
Logics containing k4. part II.Kit Fine - 1985 - Journal of Symbolic Logic 50 (3):619-651.
Splitting lattices of logics.Wolfgang Rautenberg - 1980 - Archive for Mathematical Logic 20 (3-4):155-159.
Splittings and the finite model property.Marcus Kracht - 1993 - Journal of Symbolic Logic 58 (1):139-157.

View all 6 references / Add more references