zbMATH — the first resource for mathematics

Canonical formulas for $$\mathbf K\mathbf 4$$. III: The finite model property. (English) Zbl 0893.03006
[For Parts I and II see ibid. 57, No. 4, 1377-1402 (1992; Zbl 0774.03005) and ibid. 61, No. 2, 421-449 (1996; Zbl 0884.03014), respectively.]
The paper presents two methods of proving the finite model property of normal modal logics containing K4. The methods are oriented mainly to logics represented by their canonical axioms and yield for such axiomatizations several sufficient conditions for the finite model property. They are used for proving that all normal extensions of K4 with modal reduction principles and all normal extensions of S4 with a formula in one variable have the finite model property.

MSC:
 03B45 Modal logic (including the logic of norms)
Full Text:
References:
 [1] Canonical formulas for K4. part I: Basic results 57 pp 1377– (1992) · Zbl 0774.03005 [2] DOI: 10.1093/jigpal/1.1.13 · Zbl 0799.03010 · doi:10.1093/jigpal/1.1.13 [3] Modal reduction principles 41 pp 301– (1976) [4] Soviet Mathematics Docladi 181 pp 806– (1968) [5] A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property 39 pp 67– (1974) · Zbl 0289.02032 [6] Logics containing K4, part II 50 pp 619– (1985) [7] Theoria 40 pp 110– (1974) [8] Mathematical questions of cybernetics 5 pp 62– (1994) [9] Basic modal logic pp 1– (1984) [10] DOI: 10.1007/BF01195140 · Zbl 0574.06006 · doi:10.1007/BF01195140 [11] DOI: 10.1002/malq.19720180802 · Zbl 0246.02020 · doi:10.1002/malq.19720180802 [12] Mathematical Sbornik 102 pp 289– (1977) [13] Semiotics and Informatics 15 pp 74– (1980) [14] Soviet Mathematics Doklady 19 pp 1014– (1978) [15] Philosophical Studies, Uppsala 13 (1971) [16] A new proof of Sahlqvist’s theorem on modal definability and completeness 54 pp 992– (1989) · Zbl 0682.03009 [17] DOI: 10.1305/ndjfl/1093636103 · Zbl 0788.03020 · doi:10.1305/ndjfl/1093636103 [18] DOI: 10.2977/prims/1195193228 · Zbl 0253.02022 · doi:10.2977/prims/1195193228 [19] DOI: 10.1007/BF01881550 · Zbl 0635.03019 · doi:10.1007/BF01881550 [20] Splittings and the finite model property 58 pp 139– (1993) [21] Modal logic and its neighbours ’92 (1996) [22] Canonical formulas for K4. part II: Cofinal subframe logics 61 pp 421– (1996) · Zbl 0884.03014 [23] Algebra and Logic 28 pp 402– (1989)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.