In this work, we study the relational representation of the class of Tarski algebras endowed with a subordination, called subordination Tarski algebras. These structures were introduced in a previous paper as a generalisation of subordination Boolean algebras. We define the subordination Tarski spaces as topological spaces with a fixed basis endowed with a closed relation. We prove that there exist categorical dualities between categories whose objects are subordination Tarski algebras and categories whose objects are subordination Tarski spaces. These results extend (...) the known dualities for modal algebras. Finally, we are going to characterise some algebraic conditions written in the quasi-modal language by means of first-order conditions. (shrink)

This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area. Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations (...) to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the Gödel-Löb provability logic GL. One chapter scrutinizes Esakia’s work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues. (shrink)

This paper investigates the structure of lattices of normal mono- and polymodal subframelogics, i.e., those modal logics whose frames are closed under a certain type of substructures. Nearly all basic modal logics belong to this class. The main lattice theoretic tool applied is the notion of a splitting of a complete lattice which turns out to be connected with the “geometry” and “topology” of frames, with Kripke completeness and with axiomatization problems. We investigate in detail subframe logics containing K4, those (...) containing polymodal Altn and subframe logics which are tense logics. (shrink)

In this paper, we develop a duality for the varieties of a Łukasiewicz n + 1-valued modal System. This duality is an extension of Stone duality for modal algebras. Some logical consequences (such as completeness results, correspondence theory...) are then derived and we propose some ideas for future research.

In this paper, we extend the canonicity methodology in Ghilardi & Meloni (1997) to arbitrary lattice expansions, and syntactically describe canonical inequalities for lattice expansions consisting of -meet preserving operations, -multiplicative operations, adjoint pairs, and constants. This approach gives us a uniform account of canonicity for substructural and lattice-based logics. Our method not only covers existing results, but also systematically accounts for many canonical inequalities containing nonsmooth additive and multiplicative uniform operations. Furthermore, we compare our technique with the approach in (...) Dunn et al. (2005) and Gehrke et al. (2005). (shrink)

Recent studies in semantics of modal and superintuitionistic predicate logics provided many examples of incompleteness, especially for Kripke semantics. So there is a problem: to find an appropriate possible- world semantics which is equivalent to Kripke semantics at the propositional level and which is strong enough to prove general completeness results. The present paper introduces a new semantics of Kripke metaframes' generalizing some earlier notions. The main innovation is in considering "n"-tuples of individuals as abstract "n"-dimensional vectors', together with some (...) transformations of these vectors. Soundness of the semantics is proved to be equivalent to some non- logical properties of metaframes; and thus we describe the maximal semantics of Kripke- type. (shrink)

This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Łukasiewicz n -valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n -valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the algebras of modal Łukasiewicz n -valued logic with truth constants, which generalizes Jónsson-Tarski duality for modal algebras to the (...) n -valued case via fuzzy topology. We emphasize that fuzzy topological spaces naturally arise as spectrums of algebras of many-valued logics. (shrink)

This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by normal (...) monomodal logics, of nominals and the difference operator by normal operators, of monotonic monomodal logics by normal bimodal logics, of polyadic normal modal logics by polymodal normal modal logics, and of intuitionistic modal logics by normal bimodal logics. (shrink)

Varieties like groups, rings, or Boolean algebras have the property that, in any of their members, the lattice of congruences is isomorphic to a lattice of more manageable objects, for example normal subgroups of groups, two-sided ideals of rings, filters (or ideals) of Boolean algebras.algebraic logic can explain these phenomena at a rather satisfactory level of generality: in every member A of a τ-regular variety ������ the lattice of congruences of A is isomorphic to the lattice of deductive filters on (...) A of the τ-assertional logic of ������. Moreover, if ������ has a constant 1 in its type and is 1-subtractive, the deductive filters on A ∈ ������ of the 1-assertional logic of ������ coincide with the ������-ideals of A in the sense of Gumm and Ursini, for which we have a manageable concept of ideal generation. However, there are isomorphism theorems, for example, in the theories of residuated lattices, pseudointerior algebras and quasi-MV algebras that cannot be subsumed by these general results. The aim of the present paper is to appropriately generalise the concepts of subtractivity and τ-regularity in such a way as to shed some light on the deep reason behind such theorems. The tools and concepts we develop hereby provide a common umbrella for the algebraic investigation of several families of logics, including substructural logics, modal logics, quantum logics, and logics of constructive mathematics. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

We characterize (both from a syntactic and an algebraic point of view) the normal K4-logics for which unification is filtering. We also give a sufficient semantic criterion for existence of most general unifiers, covering natural extensions of K4.2⁺ (i.e., of the modal system obtained from K4 by adding to it, as a further axiom schemata, the modal translation of the weak excluded middle principle).

In this paper we present a general theory of normal forms, based on a categorial result for the free monoid construction. We shall use the theory mainly for proposictional modal logic, although it seems to have a wider range of applications. We shall formally represent normal forms as combinatorial objects, basically labelled trees and forests. This geometric conceptualization is implicit in and our approach will extend it to other cases and make it more direct: operations of a purely geometric and (...) combinatorial nature will be introduced in order to give a mathematical description of the basic logical/algebraic constructions .We begin by recalling the above-mentioned categorial construction: we need a careful inspection of it because in the various examples considered later we plan to deduce from it in a uniform way the normal forms and the description of finitely generated free algebras. This method always works whenever we can describe the category of algebras corresponding to the logic under consideration as a T-objects category. When this simple description seems not to be available, still the general theory might be of some interest, because a description of the category of algebras as a T-objects category plus equation is possible .The central part of the paper is more advanced and specific: we show how the general approach presented here can provide some insights even in the basic case of the modal system K. Section 4 contains a contribution to the theory of normal forms, namely the description of the uniform substitution. This result will enable us to give a duality theorem for the category of finitely generated free modal algebras and in Section 5 to provide a characterization of the collections of normal forms which happen to be normal forms for a logic, thus giving a description of the lattice of modal logics.Section 6 deals with some applications: we shall show how to use normal forms in order to prove for the modal system K the definability of higher-order propositional quantifiers and of the tense operator F .As to the prerequisites, the paper is almost self-contained. The reader is only assumed to have familiarity with standard techniques in algebraic logic ). Knowledge of the basic facts about adjoint functors is required too, see e.g. McLane or the appendix. (shrink)

The semantics of e-models for tense logics with binary operators for `until' and `since' (US-logics) was introduced by Bellissima and Bucalo in 1995. In this paper we show the adequacy of these semantics by proving a general Henkin-style completeness theorem. Moreover, we show that for these semantics there holds a Stone-like duality theorem with the algebraic structures that naturally arise from US-logics.

We investigate complex algebras of the form arising from a frame where, and exhibit their abstract algebraic and logical counterparts.

In this work we will study Tarski algebras endowed with a subordination, called subordination Tarski algebras. We will define the notion of round filters, and we will study the class of irreducible round filters and the maximal round filters, called ends. We will prove that the poset of all round filters is a lattice isomorphic to the lattice of the congruences that are compatible with the subordination. We will prove that every end is an irreducible round filter, and that in (...) a topological subordination Tarski algebra A, every irreducible round filter is an end iff A is a monadic subordination Tarski algebra. As corollary of this result we have that the variety of monadic Tarski algebra can be characterised as the topological Tarski algebras where every irreducible open filter is a maximal open filter. (shrink)

In this paper we continue the investigation of monadic Heyting algebras which we started in [2]. Here we present the representation theorem for monadic Heyting algebras and develop the duality theory for them. As a result we obtain an adequate topological semantics for intuitionistic modal logics over MIPC along with a Kripke-type semantics for them. It is also shown the importance and the effectiveness of the duality theory for further investigation of monadic Heyting algebras and logics over MIPC.

We prove that if a modal formula is refuted on a wK4-algebra ( B ,□), then it is refuted on a finite wK4-algebra which is isomorphic to a subalgebra of a relativization of ( B ,□). As an immediate consequence, we obtain that each subframe and cofinal subframe logic over wK4 has the finite model property. On the one hand, this provides a purely algebraic proof of the results of Fine and Zakharyaschev for K4 . On the other hand, it (...) extends the Fine-Zakharyaschev results to wK4. (shrink)

Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ...

We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudomonadic algebras serve as algebraic models of doxastic modal system KD45. The main results of the paper are: Characterization of subdirectly irreducible and simple pseudomonadic algebras, as well as Tokarz's proper filter algebras; Ordertopological representation of pseudomonadic algebras; Complete description of the lattice of subvarieties of the variety of pseudomonadic algebras.