Bi-modal Godel logic over [0,1]-valued Kripke frames

DOI10.1093/logcom/exs036zbMath1371.03035arXiv1110.2407OpenAlexW2169921622MaRDI QIDQ5176545

Xavier Caicedo, Ricardo Oscar Rodríguez

Publication date: 26 February 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1110.2407

zbMATH Keywords

fuzzy logicmodal logicKripke modelsmany-valued logicsGödel logicmodal algebras

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45)

Related Items (21)

Decidability of order-based modal logics ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions ⋮ Graded epistemic logic with public announcement ⋮ One-variable fragments of intermediate logics over linear frames ⋮ Frame definability in finitely valued modal logics ⋮ Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) ⋮ A note on strong axiomatization of Gödel justification logic ⋮ Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic ⋮ Introduction ⋮ Expressivity in chain-based modal logics ⋮ 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 ⋮ Completeness for monadic fuzzy logics via functional algebras ⋮ Neighborhood semantics for modal many-valued logics ⋮ An algebraic study of S5-modal Gödel logic ⋮ Unnamed Item ⋮ Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic ⋮ Toward a general frame semantics for modal many-valued logics ⋮ Paraconsistent Gödel modal logic

This page was built for publication: Bi-modal Godel logic over [0,1]-valued Kripke frames