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 18 items.
- Finite model property for negative modalities (Q890969) (← links)
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
- The finite model property with respect to admissibility for superintuitionistic logic (Q1876415) (← 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)
- 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)
- Decidability of order-based modal logics (Q2361346) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Finite model property in weakly transitive tense logics (Q2698279) (← links)
- Finite model property of modal logics of finite depth (Q2815679) (← links)
- Gödel Homomorphisms as Gödel Modal Operators (Q4914310) (← links)
- The variety of modal weak Gödel algebras (Q6083149) (← 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)
