The following pages link to Many-valued modal logics (Q3989936):
Displaying 45 items.
- Some multi-conclusion modal paralogics (Q2470763) (← links)
- Characterisation of main classes of fuzzy relations using fuzzy modal operators (Q2486052) (← links)
- Graded epistemic logic with public announcement (Q2669241) (← links)
- Paraconsistent modal logics (Q2825416) (← links)
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866) (← links)
- A quantitative method for multi-valued modal logics (Q2858428) (← links)
- On K-modal BL-logics (Q2953517) (← links)
- Many-valued modal logics: Uses and predicate calculus (Q3032229) (← links)
- (Q3165670) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Latticed Simulation Relations and Games (Q3510804) (← links)
- A Direct Algorithm for Multi-valued Bounded Model Checking (Q3540066) (← links)
- MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH (Q3580668) (← links)
- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic (Q3601808) (← links)
- A Duality for Algebras of Lattice-Valued Modal Logic (Q3638290) (← links)
- Frame constructions, truth invariance and validity preservation in many-valued modal logic (Q3647234) (← links)
- Modelling inexact utility theory in a multi-valued logic of approximation (Q3775526) (← links)
- Many-Valued Modal Propositional Calculi (Q3809770) (← links)
- (Q4229379) (← links)
- (Q4329272) (← links)
- Many-valued reflexive autoepistemic logic (Q4444909) (← links)
- Kripke‐style semantics for many‐valued logics (Q4452457) (← links)
- (Q4542619) (← links)
- (Q4603449) (← links)
- Many-valued hybrid logic (Q4612428) (← links)
- Continuous propositional modal logic (Q4646652) (← links)
- Storage Operators and Multiplicative Quantifiers in Many-valued Logics (Q4820469) (← links)
- Strict/Tolerant Family Continued: Quantifiers and Modalities (Q5021990) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- THE LOGIC OF SEQUENCE FRAMES (Q5065138) (← links)
- (Q5089293) (← links)
- (Q5094149) (← 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)
- Effectiveness and multivalued logics (Q5477627) (← links)
- Introduction (Q5892200) (← links)
- Many-valued logics (Q5915420) (← links)
- Frame definability in finitely valued modal logics (Q6040618) (← links)
- Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) (Q6058015) (← links)
- Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)
- Relation-changing models meet paraconsistency (Q6156935) (← links)
- A logical modeling of severe ignorance (Q6166125) (← links)
- Many-valued coalgebraic modal logic: one-step completeness and finite model property (Q6588974) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)
