Pages that link to "Item:Q5176545"

The following pages link to Bi-modal Godel logic over [0,1]-valued Kripke frames (Q5176545):

Displaying 24 items.

• Expressivity in chain-based modal logics (Q1745356) (← links)
• Neighborhood semantics for modal many-valued logics (Q1795204) (← links)
• Axiomatization of crisp Gödel modal logic (Q2021571) (← links)
• On transitive modal many-valued logics (Q2035340) (← links)
• Completeness for monadic fuzzy logics via functional algebras (Q2035346) (← links)
• An algebraic study of S5-modal Gödel logic (Q2062210) (← links)
• Paraconsistent Gödel modal logic (Q2104534) (← 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)
• 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)
• Decidability of order-based modal logics (Q2361346) (← links)
• Graded epistemic logic with public announcement (Q2669241) (← links)
• One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
• (Q4603449) (← links)
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
• Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic (Q5117204) (← links)
• Introduction (Q5892200) (← links)
• Frame definability in finitely valued modal logics (Q6040618) (← links)
• Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) (Q6058015) (← links)
• Many-valued coalgebraic modal logic: one-step completeness and finite model property (Q6588974) (← links)
• Algebras and relational frames for Gödel modal logic and some of its extensions (Q6623950) (← links)
• One-variable fragments of first-order logics (Q6636687) (← links)