A Finite Model Property for Gödel Modal Logics

DOI10.1007/978-3-642-39992-3_20zbMath1395.03008OpenAlexW2294164365MaRDI QIDQ2849434

George Metcalfe, Xavier Caicedo, Jonas Rogger, Ricardo Oscar Rodríguez

Publication date: 17 September 2013

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/41260/

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (8)

Decidability of order-based modal logics ⋮ Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ Axiomatization of crisp Gödel modal logic ⋮ MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions ⋮ On transitive modal many-valued logics ⋮ Paraconsistent Gödel modal logic

This page was built for publication: A Finite Model Property for Gödel Modal Logics