The following pages link to Many-valued modal logics (Q3989936):
Displaying 50 items.
- On Gentzen relations associated with finite-valued logics preserving degrees of truth (Q368479) (← links)
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Multimodal epistemic Łukasiewicz logics with application in immune system (Q521734) (← links)
- On fuzzy modal logics \(S5(\mathcal C)\) (Q622028) (← links)
- A family of Gödel hybrid logics (Q631082) (← links)
- Standard Gödel modal logics (Q965908) (← links)
- Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory (Q965912) (← links)
- How true it is = who says it's true (Q1015490) (← links)
- An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation (Q1302220) (← links)
- A qualitative fuzzy possibilistic logic (Q1344258) (← links)
- Multi-dimensional modal logic (Q1379287) (← links)
- Extended quantum logic (Q1411360) (← links)
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Modal multilattice logic (Q1682294) (← links)
- A completeness theorem for continuous predicate modal logic (Q1712937) (← links)
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- Neighborhood semantics for modal many-valued logics (Q1795204) (← links)
- Tableaus with invertible rules for many-valued modal propositional logics (Q1873250) (← links)
- Tableaus for many-valued modal logic (Q1896755) (← 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)
- On transitive modal many-valued logics (Q2035340) (← links)
- Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic (Q2035639) (← links)
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic (Q2043815) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions (Q2157603) (← links)
- A note on strong axiomatization of Gödel justification logic (Q2193971) (← 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)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- Bitopological duality for algebras of Fitting's logic and natural duality extension (Q2231653) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Belnap-Dunn modal logic with value operators (Q2243547) (← links)
- A dissimilarity-based framework for generating inconsistency-tolerant logics (Q2254632) (← 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)
- Decidability of order-based modal logics (Q2361346) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Retracted article: ``A completeness theorem for continuous predicate modal logic'' (Q2408087) (← links)
- Lattice-valued modal propositional logic based on M-lattice implication algebras (Q2440191) (← links)
- Institutional semantics for many-valued logics (Q2450647) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
