Canonical modal logics and ultrafilter extensions

1979 ◽  
Vol 44 (1) ◽  
pp. 1-8 ◽  
Author(s):  
J. F. A. K. van Benthem
Keyword(s):  
Modal Logic ◽  
Algebraic Theory ◽  
Main Tool ◽  
Modal Logics ◽  
Modal Operators ◽  
Modal Algebras ◽  
Lower Case ◽  
Elementary Classes ◽  
Preceding Discussion ◽  
Ultrafilter Extensions

In this paper thecanonicalmodal logics, a kind of complete modal logics introduced in K. Fine [4] and R. I. Goldblatt [5], will be characterized semantically using the concept of anultrafilter extension, an operation on frames inspired by the algebraic theory of modal logic. Theorem 8 of R. I. Goldblatt and S. K. Thomason [6] characterizing the modally definable Σ⊿-elementary classes of frames will follow as a corollary. A second corollary is Theorem 2 of [4] which states that any complete modal logic defining a Σ⊿-elementary class of frames is canonical.The main tool in obtaining these results is the duality between modal algebras and general frames developed in R. I. Goldblatt [5]. The relevant notions and results from this theory will be stated in §2. The concept of a canonical modal logic is introduced and motivated in §3, which also contains the above-mentioned theorems. In §4, a kind of appendix to the preceding discussion, preservation of first-order sentences under ultrafilter extensions (and some other relevant operations on frames) is discussed.The modal language to be considered here has an infinite supply of proposition letters (p, q, r, …), a propositional constant ⊥ (the so-calledfalsum, standing for a fixed contradiction), the usual Boolean operators ¬ (not), ∨ (or), ∨ (and), → (if … then …), and ↔ (if and only if)—with ¬ and ∨ regarded as primitives—and the two unary modal operators ◇ (possibly) and □ (necessarily)— ◇ being regarded as primitive. Modal formulas will be denoted by lower case Greek letters, sets of formulas by Greek capitals.

The lattice of modal logics: an algebraic investigation

1980 ◽  
Vol 45 (2) ◽  
pp. 221-236 ◽  
Author(s):  
W. J. Blok
Keyword(s):  
Modal Logic ◽  
Natural Number ◽  
Classical Logic ◽  
Finite Algebra ◽  
Modal Logics ◽  
Kripke Semantics ◽  
Modal Algebras ◽  
Algebraic Investigation

AbstractModal logics are studied in their algebraic disguise of varieties of so-called modal algebras. This enables us to apply strong results of a universal algebraic nature, notably those obtained by B. Jónsson. It is shown that the degree of incompleteness with respect to Kripke semantics of any modal logic containing the axiom □p→P or containing an axiom of the form □mp↔□m+1p for some natural number m is . Furthermore, we show that there exists an immediate predecessor of classical logic (axiomatized by p↔□p) which is not characterized by any finite algebra. The existence of modal logics having immediate predecessors is established. In contrast with these results we prove that the lattice of extensions of S4 behaves much better: a logic extending S4 is characterized by a finite algebra iff it has finitely many extensions and any such logic has only finitely many immediate predecessors, all of which are characterized by a finite algebra.

Algebraic semantics for quasi-classical modal logics

1983 ◽  
Vol 48 (4) ◽  
pp. 941-964 ◽  
Author(s):  
W.J. Blok ◽  
P. Köhler
Keyword(s):  
Modal Logic ◽  
Algebraic Approach ◽  
Modus Ponens ◽  
Modal Logics ◽  
Point Of View ◽  
The Road ◽  
Modal Algebras ◽  
Classical Modal Logic ◽  
Modal Systems ◽  
Normal Modal Logics

A well-known result, going back to the twenties, states that, under some reasonable assumptions, any logic can be characterized as the set of formulas satisfied by a matrix 〈, F〉, where is an algebra of the appropriate type, and F a subset of the domain of , called the set of designated elements. In particular, every quasi-classical modal logic—a set of modal formulas, containing the smallest classical modal logic E, which is closed under the inference rules of substitution and modus ponens—is characterized by such a matrix, where now is a modal algebra, and F is a filter of . If the modal logic is in fact normal, then we can do away with the filter; we can study normal modal logics in the setting of varieties of modal algebras. This point of view was adopted already quite explicitly in McKinsey and Tarski [8]. The observation that the lattice of normal modal logics is dually isomorphic to the lattice of subvarieties of a variety of modal algebras paved the road for an algebraic study of normal modal logics. The algebraic approach made available some general results from Universal Algebra, notably those obtained by Jónsson [6], and thereby was able to contribute new insights in the realm of normal modal logics [2], [3], [4], [10].The requirement that a modal logic be normal is rather a severe one, however, and many of the systems which have been considered in the literature do not meet it. For instance, of the five celebrated modal systems, S1–S5, introduced by Lewis, S4 and S5 are the only normal ones, while only SI fails to be quasi-classical. The purpose of this paper is to generalize the algebraic approach so as to be applicable not just to normal modal logics, but to quasi-classical modal logics in general.

scholarly journals Formula size games for modal logic and μ-calculus

2019 ◽  
Vol 29 (8) ◽  
pp. 1311-1344 ◽  
Author(s):  
Lauri T Hella ◽  
Miikka S Vilander
Keyword(s):  
Modal Logic ◽  
Optimal Strategy ◽  
Order Logic ◽  
First Order Logic ◽  
Kripke Models ◽  
First Order ◽  
Modal Operators ◽  
Crucial Difference ◽  
Definition Of ◽  
Person Game

Abstract We propose a new version of formula size game for modal logic. The game characterizes the equivalence of pointed Kripke models up to formulas of given numbers of modal operators and binary connectives. Our game is similar to the well-known Adler–Immerman game. However, due to a crucial difference in the definition of positions of the game, its winning condition is simpler, and the second player does not have a trivial optimal strategy. Thus, unlike the Adler–Immerman game, our game is a genuine two-person game. We illustrate the use of the game by proving a non-elementary succinctness gap between bisimulation invariant first-order logic $\textrm{FO}$ and (basic) modal logic $\textrm{ML}$. We also present a version of the game for the modal $\mu $-calculus $\textrm{L}_\mu $ and show that $\textrm{FO}$ is also non-elementarily more succinct than $\textrm{L}_\mu $.

A Modal Semantics of Negation in Logic Programming

1992 ◽  
Vol 16 (3-4) ◽  
pp. 231-262
Author(s):  
Philippe Balbiani
Keyword(s):  
Modal Logic ◽  
Logic Programming ◽  
Modal Logics ◽  
Kripke Models ◽  
Logic Programs ◽  
Modal Semantics ◽  
Soundness And Completeness ◽  
Modal Completion ◽  
Well Foundedness

The beauty of modal logics and their interest lie in their ability to represent such different intensional concepts as knowledge, time, obligation, provability in arithmetic, … according to the properties satisfied by the accessibility relations of their Kripke models (transitivity, reflexivity, symmetry, well-foundedness, …). The purpose of this paper is to study the ability of modal logics to represent the concepts of provability and unprovability in logic programming. The use of modal logic to study the semantics of logic programming with negation is defended with the help of a modal completion formula. This formula is a modal translation of Clack’s formula. It gives soundness and completeness proofs for the negation as failure rule. It offers a formal characterization of unprovability in logic programs. It characterizes as well its stratified semantics.

An abstract algebraic logic approach to tetravalent modal logics

2000 ◽  
Vol 65 (2) ◽  
pp. 481-518 ◽  
Author(s):  
Josep Maria Font ◽  
Miquel Rius
Keyword(s):  
Algebraic Logic ◽  
Modal Logics ◽  
The Other ◽  
Abstract Algebraic Logic ◽  
Algebraic Semantics ◽  
Modal Algebras ◽  
Logic Approach ◽  
Abstract Logics ◽  
Joint Study

AbstractThis paper contains a joint study of two sentential logics that combine a many-valued character, namely tetravalence, with a modal character; one of them is normal and the other one quasinormal. The method is to study their algebraic counterparts and their abstract models with the tools of Abstract Algebraic Logic, and particularly with those of Brown and Suszko's theory of abstract logics as recently developed by Font and Jansana in their “A General Algebraic Semantics for Sentential Logics”. The logics studied here arise from the algebraic and lattice-theoretical properties we review of Tetravalent Modal Algebras, a class of algebras studied mainly by Loureiro, and also by Figallo. Landini and Ziliani, at the suggestion of the late Antonio Monteiro.

scholarly journals Canonical formulas via locally finite reducts and generalized dualities

10.29007/hgbj ◽  
2018 ◽  
Author(s):  
Nick Bezhanishvili
Keyword(s):  
Modal Logic ◽  
Intuitionistic Logic ◽  
Algebraic Approach ◽  
Modal Logics ◽  
Substructural Logic ◽  
Locally Finite ◽  
Canonical Formulas

The method of canonical formulas is a powerful tool for investigating intuitionistic and modal logics. In this talk I will discuss an algebraic approach to this method. I will mostly concentrate on the case of intuitionistic logic. But I will also review the case of modal logic and possible generalizations to substructural logic.

PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS

2019 ◽  
Vol 13 (4) ◽  
pp. 720-747
Author(s):  
SERGEY DROBYSHEVICH ◽  
HEINRICH WANSING
Keyword(s):  
Modal Logic ◽  
Sequent Calculus ◽  
Axiom System ◽  
Modal Logics ◽  
Cut Elimination ◽  
Proof Systems ◽  
Image Position ◽  
Axiomatic Extension

AbstractWe present novel proof systems for various FDE-based modal logics. Among the systems considered are a number of Belnapian modal logics introduced in Odintsov & Wansing (2010) and Odintsov & Wansing (2017), as well as the modal logic KN4 with strong implication introduced in Goble (2006). In particular, we provide a Hilbert-style axiom system for the logic $BK^{\square - } $ and characterize the logic BK as an axiomatic extension of the system $BK^{FS} $. For KN4 we provide both an FDE-style axiom system and a decidable sequent calculus for which a contraction elimination and a cut elimination result are shown.

Modal logics and varieties of modal algebras: The beth properties, interpolation, and amalgamation

1992 ◽  
Vol 31 (2) ◽  
pp. 90-105 ◽  
Author(s):  
L. L. Maksimova
Keyword(s):  
Modal Logics ◽  
Modal Algebras

MODAL LOGICS OF METRIC SPACES

2014 ◽  
Vol 8 (1) ◽  
pp. 178-191 ◽  
Author(s):  
GURAM BEZHANISHVILI ◽  
DAVID GABELAIA ◽  
JOEL LUCERO-BRYAN
Keyword(s):  
Modal Logic ◽  
Metric Space ◽  
Metric Spaces ◽  
Modal Logics ◽  
Finite Model ◽  
Finite Model Property ◽  
Classic Result ◽  
Topological Closure ◽  
Image Position

AbstractIt is a classic result (McKinsey & Tarski, 1944; Rasiowa & Sikorski, 1963) that if we interpret modal diamond as topological closure, then the modal logic of any dense-in-itself metric space is the well-known modal system S4. In this paper, as a natural follow-up, we study the modal logic of an arbitrary metric space. Our main result establishes that modal logics arising from metric spaces form the following chain which is order-isomorphic (with respect to the ⊃ relation) to the ordinal ω + 3:$S4.Gr{z_1} \supset S4.Gr{z_2} \supset S4.Gr{z_3} \supset \cdots \,S4.Grz \supset S4.1 \supset S4.$It follows that the modal logic of an arbitrary metric space is finitely axiomatizable, has the finite model property, and hence is decidable.

Normal monomodal logics can simulate all others

1999 ◽  
Vol 64 (1) ◽  
pp. 99-138 ◽  
Author(s):  
Marcus Kracht ◽  
Frank Wolter
Keyword(s):  
Modal Logic ◽  
Modal Logics ◽  
Normal Modal Logics

AbstractThis paper shows that non-normal modal logics can be simulated by certain polymodal normal logics and that polymodal normal logics can be simulated by monomodal (normal) logics. Many properties of logics are shown to be reflected and preserved by such simulations. As a consequence many old and new results in modal logic can be derived in a straightforward way, sheding new light on the power of normal monomodal logic.

Sign in / Sign up

Export Citation Format

Share Document