Toward a general frame semantics for modal many-valued logics
From MaRDI portal
Publication:2317513
DOI10.1007/s00500-018-3369-5zbMath1418.03121OpenAlexW2881541399WikidataQ129539411 ScholiaQ129539411MaRDI QIDQ2317513
Carles Noguera, Paula Menchón, Petr Cintula
Publication date: 12 August 2019
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-018-3369-5
Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)
Related Items (3)
Frame definability in finitely valued modal logics ⋮ On consistent functions for neighborhood systems ⋮ Neighbourhood semantics for FDE-based modal logics
Cites Work
- On fuzzy modal logics \(S5(\mathcal C)\)
- Residuated lattices. An algebraic glimpse at substructural logics
- Standard Gödel modal logics
- Relational compositions in fuzzy class theory
- The semantics of entailment. II
- Metamathematics of fuzzy logic
- On an intuitionistic modal logic
- Implicational (semilinear) logics. III: Completeness properties
- Neighborhood semantics for modal many-valued logics
- Extending maps to profinite completions in finitely generated quasivarieties
- Models for relevant modal logics
- Decidability of order-based modal logics
- Fuzzy class theory
- Expressivity of Many-Valued Modal Logics, Coalgebraically
- On modal extensions of Product fuzzy logic
- Towards a Proof Theory of G\"odel Modal Logics
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Semantics of implication operators and fuzzy relational products
- Bi-modal Godel logic over [0,1-valued Kripke frames]
- Universal grammar
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Toward a general frame semantics for modal many-valued logics
