Pages that link to "Item:Q2849434"
From MaRDI portal
The following pages link to A Finite Model Property for Gödel Modal Logics (Q2849434):
Displaying 8 items.
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← 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)
- Paraconsistent Gödel modal logic (Q2104534) (← links)
- Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions (Q2157603) (← links)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
