zbMATH — the first resource for mathematics

Canonical formulas for K4. I: Basic results. (English) Zbl 0774.03005
This paper presents a new technique for handling modal logics with transitive frames, i.e. extensions of the modal system K4. In effect, the technique is based on the following fundamental result: given a formula $$\varphi$$, the finite frames $${\mathfrak F}_ 1,\dots,{\mathfrak F}_ n$$ can be effectively constructed such that they completely characterize the set of all transitive general frames refuting $$\varphi$$.
The paper consists of two parts. The first part establishes basic results on the canonical formulas for K4, while the second contains some applications concerning the finite model property, decidability and definability.

MSC:
 03B45 Modal logic (including the logic of norms)
Full Text:
References:
 [1] DOI: 10.1007/BF00370166 · Zbl 0733.03003 · doi:10.1007/BF00370166 [2] Algebra i Logika 27 pp 659– (1988) [3] Theoria 40 pp 110– (1974) [4] DOI: 10.1002/malq.19590051405 · Zbl 0178.30801 · doi:10.1002/malq.19590051405 [5] Logical-algebraic constructions pp 96– (1987) [6] Logical methods for constructing effective algorithms pp 135– (1986) [7] Undecidability of the disjunction property of intermediate propositional logies (1991) [8] Handbook of philosophical logic II pp 1– (1984) [9] Doklady Akademii Nauk SSSR 275 pp 537– (1984) [10] Doklady Akademii Nauk SSSR 269 pp 18– (1983) [11] Certain classes of intermediate logics (1981) [12] Doklady Akademii Nauk SSSR 151 pp 1293– (1963) [13] Matematicheskiĭ Sbornik 181 pp 240– (1990) [14] An essay in classical modal logic 13 (1971) [15] Klassische und nichtklassische Aussagenlogik (1979) [16] The decidability of certain intermediate logics 33 pp 258– (1968) · Zbl 0175.27103 [17] DOI: 10.1007/BF01988049 · Zbl 0079.00702 · doi:10.1007/BF01988049 [18] Matematicheskiĭ Sbornik 180 pp 1415– (1989) [19] Algebra i Logika 28 pp 402– (1989) [20] Matematicheskie Zametki 42 pp 729– (1987) [21] Logics containing K4. Part II 50 pp 619– (1985) · Zbl 0574.03008
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.