Expressivity in chain-based modal logics

&
Archive for Mathematical Logic 57 (3-4):361-380 (2018)
  Copy   BIBTEX

Abstract

We investigate the expressivity of many-valued modal logics based on an algebraic structure with a complete linearly ordered lattice reduct. Necessary and sufficient algebraic conditions for admitting a suitable Hennessy–Milner property are established for classes of image-finite and modally saturated models. Full characterizations are obtained for many-valued modal logics based on complete BL-chains that are finite or have the real unit interval [0, 1] as a lattice reduct, including Łukasiewicz, Gödel, and product modal logics.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-017-0573-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Many-valued non-monotonic modal logics.Melvin Fitting - unknown
The lattice of Belnapian modal logics: Special extensions and counterparts.Sergei P. Odintsov & Stanislav O. Speranski - 2016 - Logic and Logical Philosophy 25 (1):3-33.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
A Hennessy-Milner Property for Many-Valued Modal Logics.Michel Marti & George Metcalfe - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 407-420.
An abstract algebraic logic approach to tetravalent modal logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
Superintuitionistic companions of classical modal logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
On regular modal logics with axiom □ ⊤ → □□ ⊤.Kazimierz Świrydowicz - 1990 - Studia Logica 49 (2):171 - 174.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
Classically complete modal relevant logics.Edwin D. Mares - 1993 - Mathematical Logic Quarterly 39 (1):165-177.
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
Leibniz filters and the strong version of a protoalgebraic logic.Josep Maria Font & Ramon Jansana - 2001 - Archive for Mathematical Logic 40 (6):437-465.

Analytics

Added to PP
2018-03-24

Downloads
21 (#692,524)

6 months
7 (#339,156)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Frame definability in finitely valued modal logics.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2023 - Annals of Pure and Applied Logic 174 (7):103273.

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Algebraic foundations of many-valued reasoning.Roberto Cignoli - 1999 - Boston: Kluwer Academic Publishers. Edited by Itala M. L. D'Ottaviano & Daniele Mundici.
Modal Logic.Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.

View all 15 references / Add more references