Morphisms and Duality for Polarities and Lattices with Operators

Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of morphism between polarity-based structures that generalises the theory of bounded morphisms for Boolean modal logics. It defines a category of such structures that is contravariantly dual to a given category of lattice-based algebras whose additional operations preserve either finite joins or finite meets. Two different versions of the Goldblatt-Thomason theorem are derived in this setting

Inquisitive bisimulation

Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce and investigate the natural notion of bisimulation equivalence in the setting of InqML. We compare the expressiveness of InqML and first-order logic in the context of relational structures with two sorts, one for worlds and one for information states. We characterise inquisitive modal logic, as well as its multi-agent epistemic S5-like variant, as the bisimulation invariant fragment of first-order logic over various natural classes of two-sorted structures. These results crucially require non-classical methods in studying bisimulation and first-order expressiveness over non-elementary classes of structures, irrespective of whether we aim for characterisations in the sense of classical or of finite model theory

Sufficient conditions for local tabularity of a polymodal logic

On relational structures and on polymodal logics, we describe operations which preserve local tabularity. This provides new sufficient semantic and axiomatic conditions for local tabularity of a modal logic. The main results are the following. We show that local tabularity does not depend on reflexivity. Namely, given a class $\mathcal{F}$ of frames, consider the class $\mathcal{F}^\mathrm{r}$ of frames, where the reflexive closure operation was applied to each relation in every frame in $\mathcal{F}$. We show that if the logic of $\mathcal{F}^\mathrm{r}$ is locally tabular, then the logic of $\mathcal{F}$ is locally tabular as well. Then we consider the operation of sum on Kripke frames, where a family of frames-summands is indexed by elements of another frame. We show that if both the logic of indices and the logic of summands are locally tabular, then the logic of corresponding sums is also locally tabular. Finally, using the previous theorem, we describe an operation on logics that preserves local tabularity: we provide a set of formulas such that the extension of the fusion of two canonical locally tabular logics with these formulas is locally tabular

On modal expansions of t-norm based logics with rational constants

[eng] According to Zadeh, the term “fuzzy logic” has two different meanings: wide and narrow. In a narrow sense it is a logical system which aims a formalization of approximate reasoning, and so it can be considered an extension of many-valued logic. However, Zadeh also says that the agenda of fuzzy logic is quite different from that of traditional many-valued logic, as it addresses concepts like linguistic variable, fuzzy if-then rule, linguistic quantifiers etc. Hájek, in the preface of his foundational book Metamathematics of Fuzzy Logic, agrees with Zadeh’s distinction, but stressing that formal calculi of many-valued logics are the kernel of the so-called Basic Fuzzy logic (BL), having continuous triangular norms (t-norm) and their residua as semantics for the conjunction and implication respectively, and of its most prominent extensions, namely Lukasiewicz, Gödel and Product fuzzy logics. Taking advantage of the fact that a t-norm has residuum if, and only if, it is left-continuous, the logic of the left-continuous t-norms, called MTL, was soon after introduced. On the other hand, classical modal logic is an active field of mathematical logic, originally introduced at the beginning of the XXth century for philosophical purposes, that more recently has shown to be very successful in many other areas, specially in computer science. That are the most well-known semantics for classical modal logics. Modal expansions of non-classical logics, in particular of many-valued logics, have also been studied in the literature. In this thesis we focus on the study of some modal logics over MTL, using natural generalizations of the classical Kripke relational structures where propositions at possible words can be many-valued, but keeping classical accessibility relations. In more detail, the main goal of this thesis has been to study modal expansions of the logic of a left-continuous t-norm, defined over the language of MTL expanded with rational truth-constants and the Monteiro-Baaz Delta-operator, whose intended (standard) semantics is given by Kripke models with crisp accessibility relations and taking the unit real interval [0, 1] as set of truth-values. To get complete axiomatizations, already known techniques based on the canonical model construction are uses, but this requires to ensure that the underlying (propositional) fuzzy logic is strongly standard complete. This constraint leads us to consider axiomatic systems with infinitary inference rules, already at the propositional level. A second goal of the thesis has been to also develop and automated reasoning software tool to solve satisfiability and logical consequence problems for some of the fuzzy logic modal logics considered. This dissertation is structured in four parts. After a gentle introduction, Part I contains the needed preliminaries for the thesis be as self-contained as possible. Most of the theoretical results are developed in Parts II and III. Part II focuses on solving some problems concerning the strong standard completeness of underlying non-modal expansions. We first present and axiomatic system for the non-nodal propositional logic of a left-continuous t-norm who makes use of a unique infinitary inference rule, the “density rule”, that solves several problems pointed out in the literature. We further expand this axiomatic system in order to also characterize arbitrary operations over [0, 1] satisfying certain regularity conditions. However, since this axiomatic system turn out to be not well-behaved for the modal expansion, we search for alternative axiomatizations with some particular kind of inference rules (that will be called conjunctive). Unfortunately, this kind of axiomatization does not necessarily exist for all left-continuous t-norms (in particular, it does not exist for the Gödel logic case), but we identify a wide class of t-norms for which it works. This “well-behaved” t-norms include all ordinal sums of Lukasiewiczand Product t-norms. Part III focuses on the modal expansion of the logics presented before. We propose axiomatic systems (which are, as expected, modal expansions of the ones given in the previous part) respectively strongly complete with respect to local and global Kripke semantics defined over frames with crisp accessibility relations and worlds evaluated over a “well-behaved” left-continuous t-norm. We also study some properties and extensions of these logics and also show how to use it for axiomatizing the possibilistic logic over the very same t-norm. Later on, we characterize the algebraic companion of these modal logics, provide some algebraic completeness results and study the relation between their Kripke and algebraic semantics. Finally, Part IV of the thesis is devoted to a software application, mNiB-LoS, who uses Satisfability Modulo Theories in order to build an automated reasoning system to reason over modal logics evaluated over BL algebras. The acronym of this applications stands for a modal Nice BL-logics Solver. The use of BL logics along this part is motivated by the fact that continuous t-norms can be represented as ordinal sums of three particular t-norms: Gödel, Lukasiewicz and Product ones. It is then possible to show that these t-norms have alternative characterizations that, although equivalent from the point of view of the logic, have strong differences for what concerns the design, implementation and efficiency of the application. For practical reasons, the modal structures included in the solver are limited to the finite ones (with no bound on the cardinality)

Topological Representation of Canonicity for Varieties of Modal Algebras

Thesis (Ph.D.) - Indiana University, Mathematics, 2010The main subject of this dissertation is to approach the question of countable canonicity of varieties of modal algebras from a topological and categorical point of view. The category of coalgebras of the Vietoris functor on the category of Stone spaces provides a class of frames we call sv-frames. We show that the semantic of this frames is equivalent to that of modal algebras so long as we are limited to certain valuations called sv-valuations. We show that the canonical frame of any normal modal logic which is directly constructed based on the logic is an sv-frame. We then define the notion of canonicity of a logic in terms of varieties and their dual classes. We will then prove that any morphism on the category of coalgebras of the Vietoris functor whose codomain is the canonical frame of the minimal normal modal logic are exactly the ones that are invoked by sv-valuations. We will then proceed to reformulate canonicity of a variety of modal algebras determined by a logic in terms of properties of the class of sv-frames that correspond to that logic. We define ultrafilter extension as an operator on the category of sv-frames, prove a coproduct preservation result followed by some equivalent forms of canonicity. Using Stone duality the notion of co-variety of sv-frames is defined. The notion of validity of a logic on a frame is presented in terms of ranges of theory maps whose domain is the given frame. Partial equivalent results on co-varieties of sv-frames are proved. We classify theory maps which are maps invoked by a valuation on a Kripke frame using the classification of sv-theory maps and properties of ultrafilter extension. A negative categorical result concerning the existence of an adjoint functor for ultrafilter extension is also proved