The following pages link to Standard Gödel modal logics (Q965908):
Displaying 35 items.
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Extending possibilistic logic over Gödel logic (Q622285) (← 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)
- 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)
- An algebraic study of S5-modal Gödel logic (Q2062210) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← 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)
- Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
- Fuzzy relational modalities admitting truth-valueless propositions (Q2219167) (← links)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
- Toward a general frame semantics for modal many-valued logics (Q2317513) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- A logical framework for privacy-preserving social network publication (Q2447175) (← links)
- Monotone operators on Gödel logic (Q2449851) (← links)
- Strong non-standard completeness for fuzzy logics (Q2466757) (← links)
- Graded epistemic logic with public announcement (Q2669241) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← 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)
- Bi-modal Godel logic over [0,1]-valued Kripke frames (Q5176545) (← links)
- Introduction (Q5892200) (← links)
- Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← 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)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)
