On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice

DOI10.1093/logcom/exp062zbMath1252.03040arXiv0811.2107OpenAlexW1969724379MaRDI QIDQ3097868

Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodríguez

Publication date: 10 November 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0811.2107

zbMATH Keywords

fuzzy logic modal logic many-valued logic substructural logic Kripke frames axiomatization many-valued modal logic finite MV-chain

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Ordered semigroups and monoids (06F05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Decidability of order-based modal logics ⋮ Modal definability based on Łukasiewicz validity relations ⋮ An exercise on the generation of many-valued dynamic logics ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions ⋮ On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief ⋮ Modal multilattice logic ⋮ On Possibilistic Modal Logics Defined Over MTL-Chains ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ Frame definability in finitely valued modal logics ⋮ Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) ⋮ Rough concepts ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ Natural duality, modality, and coalgebra ⋮ A logical modeling of severe ignorance ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ From Kripke to Neighborhood Semantics for Modal Fuzzy Logics ⋮ Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Dynamic Łukasiewicz logic and dynamic MV-algebras ⋮ Logics for belief functions on MV-algebras ⋮ A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA ⋮ Interval MV-algebras and generalizations. ⋮ Introduction ⋮ A logical framework for privacy-preserving social network publication ⋮ A fuzzy modal logic for fuzzy transition systems ⋮ A Lindström theorem in many-valued modal logic over a finite MTL-chain ⋮ Fuzzy relational modalities admitting truth-valueless propositions ⋮ On finitely-valued fuzzy description logics ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ Propositional dynamic logic for searching games with errors ⋮ Lattice-valued simulations for quantitative transition systems ⋮ Expressivity in chain-based modal logics ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence ⋮ Fuzzy intensional semantics ⋮ Belnap-Dunn modal logic with value operators ⋮ Permutable fuzzy consequence and interior operators and their connection with fuzzy relations ⋮ Model checking fuzzy computation tree logic ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions ⋮ Axiomatization of crisp Gödel modal logic ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions ⋮ Axiomatizing logics of fuzzy preferences using graded modalities ⋮ On transitive modal many-valued logics ⋮ Neighborhood semantics for modal many-valued logics ⋮ Finite-Chain Graded Modal Logic ⋮ Expressivity of Many-Valued Modal Logics, Coalgebraically ⋮ Paraconsistent Modal Logics ⋮ Unnamed Item ⋮ Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic ⋮ Toward a general frame semantics for modal many-valued logics ⋮ A family of graded epistemic logics ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax} ⋮ A Similarity-Based Three-Valued Modal Logic Approach to Reason with Prototypes and Counterexamples ⋮ Simulation for lattice-valued doubly labeled transition systems