Notions of Bisimulation for Heyting-Valued Modal Languages
From MaRDI portal
Publication:2882558
DOI10.1093/logcom/exq005zbMath1250.03032OpenAlexW2038170597MaRDI QIDQ2882558
Christos Nomikos, Pantelis E. Eleftheriou, Costas D. Koutras
Publication date: 7 May 2012
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exq005
Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30) Heyting algebras (lattice-theoretic aspects) (06D20) Many-valued logic (03B50)
Related Items (11)
Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices ⋮ Fuzzy simulations and bisimulations between fuzzy automata ⋮ Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics ⋮ Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics ⋮ A quantified coalgebraic van Benthem theorem ⋮ Expressivity in chain-based modal logics ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Approximate bisimulation relations for fuzzy automata ⋮ How true it is = who says it's true
This page was built for publication: Notions of Bisimulation for Heyting-Valued Modal Languages
