Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Jonas Rogger"'
Publikováno v:
Journal of Computer and System Sciences. 88:53-74
Decidability of the validity problem is established for a family of many-valued modal logics, notably Godel modal logics, where propositional connectives are evaluated according to the order of values in a complete sublattice of the real unit interva
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f419197747ba0735eb562b937a7272b1
https://doi.org/10.1016/j.jcss.2017.03.012
https://doi.org/10.1016/j.jcss.2017.03.012
Publikováno v:
Logic, Language, Information, and Computation ISBN: 9783642399916
WoLLIC
WoLLIC
A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidabi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a48777b6d3f9db9ca7f311c6464dc3b
https://doi.org/10.29007/vgh2
https://doi.org/10.29007/vgh2
Publikováno v:
Information Processing and Management of Uncertainty in Knowledge-Based Systems ISBN: 9783319405803
IPMU (2)
IPMU (2)
The majority of works on modal fuzzy logics consider Kripke-style possible worlds semantics as the principal semantics despite its well known axiomatizability issues when considering fuzzy accessibility relations. The present work offers the first (t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d53f5b43a64de0125103a2356e7a1228
http://hdl.handle.net/11365/1200723
http://hdl.handle.net/11365/1200723
