Conditions are specified which are necessary and sufficient for a logic over K4 to possess the weak interpolation property. For this goal to be met, simple transitive modal algebras are described, and we establish a criterion for the class of such algebras to be amalgamable. For extensions of K4, the weak interpolation property is proved decidable.Interpolation properties are important and intriguing characteristics of formal theories. The interpolation theorem proved by Craig in 1957 gave impetus to treating interpolation in different logical theories. For classical predicate logic, Craig's interpolation property has several equivalent formulations; for a number of nonclassical logics, these formulations become nonequivalent. Weak analogs of Craig interpolation, such as the deductive interpolation property (IPD) and the weak interpolation property (WIP), were brought in sight in dealing with modal logics. For extensions of the logic S5, IPD and WIP are equivalent (see [1]); for extensions of S4 and K4, these properties are essentially different.In [1], it was proved that the number of logics that extend S4 and possess the deductive interpolation property is at most 49, of which at most 37 enjoy Craig's. At the same time, in [2], it was shown that all extensions of S4.1 have the weak interpolation property. Thus, there exist continuum-many logics extending S4 and possessing WIP.By [3], CIP and IPD are decidable over S4. That is, there is a criterion which, given a finite set of axioms, AX, added to S4, allows us to determine whether a given logic possesses a required property.In the paper, we will look at extensions of the modal logic K4. We know from [4] that there exist continuum-many logics that extend K4 and have CIP and IPD; yet,in [5], it was proved that for this family of logics, Craig's interpolation property and the deductive interpolation property are undecidable.Below, conditions are specified that are necessary and sufficient for a logic over K4 to possess the weak interpolation property. In order to explicate these conditions, we describe simple transitive modal algebras and establish a criterion for the class of such algebras to be amalgamable. Lastly, the weak interpolations property is proved decidable for extensions of the modal logic K4.
Weakly transitive modal algebras are studied. It is proved that the class of simple weakly transitive algebras coincides with the class of simple DL-algebras. A full description is given for finitely generated simple DL-algebras together with their embeddings. As a consequence, it is shown that the varieties of weakly transitive algebras and of DLalgebras are not weakly amalgamable, and that modal logics wK4 and DL do not possess the weak interpolation property.We consider weakly transitive modal algebras. These algebras provide a natural algebraic interpretation for a modal logic wK4, which is a bit weaker than a well-known modal system K4. The logic wK4 and its extensions have been widely studied in connection with topological semantics for modal logic [1]. Relations between extensions of the wK4 logic and extensions of the S4 logic were treated in [2]. A most interesting extension of wK4 is the difference logic DL (see [1,3,4]). Previously, it was proved that adding a modal difference operator to topological modal logics expands the expressive capacity of languages essentially [1,[5][6][7].Many known systems of modal logics, in particular, the minimal logic K, the transitive logic K4, the logics S4 and S5, the Grzegorczyk logic and the Gödel-Löb logic, possess the Craig interpolation property (see, e.g., [8]). The study of the interpolation problem in modal logics clearly recognized several principal versions of the interpolation property and revealed their connections with natural versions of the amalgamation property in varieties of modal algebras [9]. In examining a weak interpolation property (weakest among the versions considered) for modal logics, it was *
We consider the modal logics wK4 and DL as well as the corresponding weakly transitive modal algebras and DL-algebras. We prove that there exist precisely 16 amalgamable varieties of DL-algebras. We find a criterion for the weak amalgamation property of varieties of weakly transitive modal algebras, solve the deductive interpolation problem for extensions of the logic of inequality DL, and obtain a weak interpolation criterion over wK4.The interpolation theorem, proved by Craig in 1957 for the classical predicate logic, initiated the study of interpolation in various formal theories. In the classical predicate logic the interpolation theorem of Craig has several equivalent statements, all becoming inequivalent for modal logics. In this regard a few cases of interpolation properties were formulated: the Craig interpolation property (CIP), the deductive interpolation property (IPD), the restricted interpolation property (IPR), and finally the weak interpolation property (WIP) [1].It is known that CIP and IPD are decidable [2] over the logic S4 but undecidable [3, 4] over K4, while WIP is decidable [5] over K4. The proofs of these facts base on the existence of a duality isomorphism between the class of extensions of a logic and the class of subvarieties of the corresponding variety of algebras (see [6] for instance). Therefore, the study of interpolation reduces to studying the amalgamation property of varieties of modal algebras.Maksimova studied various cases of the amalgamation property of varieties of modal algebras. In particular, she showed [2] that precisely 50 varieties of topoboolean algebras are amalgamable, among which 38 enjoy the strong amalgamation property. Maksimova found [7] the necessary and sufficient conditions for the amalgamation property, which enables us to reduce the question of the presence of the properties for this variety of modal algebras to the consideration of a subclass of finitely generated and finitely indecomposable algebras.The joint article of the author and Maksimova [8] deals mainly with weakly transitive modal algebras and DL-algebras. These classes of modal algebras became known in connection with the study of the modal logics wK4 and DL [9-11] presenting their natural algebraic semantics. In [8] we showed that the class of weakly transitive modal algebras coincides with the class of simple DL-algebras and found a full description for finitely generated simple DL-algebras and their embeddings. We proved that the variety of DL-algebras is not weakly amalgamable and the corresponding modal logics wK4 and DL lack all interpolation properties. In this article we study the amalgamation property of varieties of DL-algebras in more detail.In Section 2 we prove that the family of varieties of DL-algebras has the cardinality of the continuum. We establish the existence of a bijective correspondence between the varieties of DL-algebras and the downward closed subclasses of the class K (DL) = {V m n | n + m > 0}. In Section 3 we obtain necessary conditions for the amalgamation propert...
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.