Fuzzy Sets and Systems (forthcoming)
| Authors |
|
| Abstract |
We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linearly ordered commutative integral residuated lattice). We first show that the basic modal abstract logic with constants for the values of the MTL-chain is the maximal abstract logic satisfying Compactness, the Tarski Union Property and strong invariance for bisimulations. Finally, we improve this result by replacing the Tarski Union Property by a relativization property.
|
| Keywords | Many-valued modal logic Fuzzy logic MTL-chains Residuated lattices Bisimulation Lindström Theorem |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,079
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
A General Lindström Theorem for Some Normal Modal Logics.Sebastian Enqvist - 2013 - Logica Universalis 7 (2):233-264.
First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.
A Lindström Theorem for Intuitionistic Propositional Logic.Guillermo Badia - 2020 - Notre Dame Journal of Formal Logic 61 (1):11-30.
A Lindström-Style Theorem for Finitary Propositional Weak Entailment Languages with Absurdity.Guillermo Badia - 2016 - Logic Journal of the IGPL 24 (2):115-137.
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.
Many-Valued Reflexive Autoepistemic Logic.C. Koutras & S. Zachos - 2000 - Logic Journal of the IGPL 8 (1):33-54.
Expressivity in Chain-Based Modal Logics.Michel Marti & George Metcalfe - 2018 - Archive for Mathematical Logic 57 (3-4):361-380.
On a Simple 3-Valued Modal Language and a 3-Valued Logic of ‘Not-Fully-Justified’ Belief.Costas Koutras, Christos Nomikos & Pavlos Peppas - 2008 - Logic Journal of the IGPL 16 (6):591-604.
The Modal Logic of the Countable Random Frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.
On a Four-Valued Modal Logic with Deductive Implication.Marcelo E. Coniglio & Martín Figallo - 2014 - Bulletin of the Section of Logic 43 (1/2):1-18.
Continuous Propositional Modal Logic.Stefano Baratella - 2018 - Journal of Applied Non-Classical Logics 28 (4):297-312.
On Łukasiewicz's Four-Valued Modal Logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.
N-Contractive BL-Logics.Matteo Bianchi & Franco Montagna - 2011 - Archive for Mathematical Logic 50 (3-4):257-285.
Analytics
Added to PP index
2019-03-26
Total views
17 ( #635,925 of 2,506,079 )
Recent downloads (6 months)
1 ( #416,984 of 2,506,079 )
2019-03-26
Total views
17 ( #635,925 of 2,506,079 )
Recent downloads (6 months)
1 ( #416,984 of 2,506,079 )
How can I increase my downloads?
Downloads
