Pages that link to "Item:Q3097868"
From MaRDI portal
The following pages link to On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice (Q3097868):
Displaying 50 items.
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Interval MV-algebras and generalizations. (Q459040) (← links)
- On finitely-valued fuzzy description logics (Q465589) (← links)
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
- Model checking fuzzy computation tree logic (Q529056) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
- On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief (Q1677044) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738) (← links)
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- Permutable fuzzy consequence and interior operators and their connection with fuzzy relations (Q1749607) (← links)
- Neighborhood semantics for modal many-valued logics (Q1795204) (← links)
- Logics for belief functions on MV-algebras (Q1951299) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Logical characterizations of regular equivalence in weighted social networks (Q2014930) (← links)
- Axiomatization of crisp Gödel modal logic (Q2021571) (← links)
- Axiomatizing logics of fuzzy preferences using graded modalities (Q2035319) (← links)
- On transitive modal many-valued logics (Q2035340) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions (Q2157603) (← links)
- Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
- Dynamic Łukasiewicz logic and dynamic MV-algebras (Q2206432) (← links)
- A fuzzy modal logic for fuzzy transition systems (Q2219078) (← links)
- A Lindström theorem in many-valued modal logic over a finite MTL-chain (Q2219166) (← links)
- Fuzzy relational modalities admitting truth-valueless propositions (Q2219167) (← links)
- Belnap-Dunn modal logic with value operators (Q2243547) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
- Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic (Q2317511) (← links)
- Toward a general frame semantics for modal many-valued logics (Q2317513) (← links)
- A family of graded epistemic logics (Q2333311) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- A logical framework for privacy-preserving social network publication (Q2447175) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- Paraconsistent Modal Logics (Q2825416) (← links)
- On Possibilistic Modal Logics Defined Over MTL-Chains (Q2948591) (← links)
- A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA (Q2974674) (← links)
- Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence (Q3011980) (← links)
- (Q4603449) (← links)
- Fuzzy intensional semantics (Q4646654) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- From Kripke to Neighborhood Semantics for Modal Fuzzy Logics (Q5117202) (← links)
- Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic (Q5117204) (← links)