Quantitative Analysis of Lattice-valued Kripke Structures

DOI10.3233/FI-2014-1122zbMath1354.03028OpenAlexW1568513899MaRDI QIDQ5259293

Hengyang Wu, Haiyu Pan, Min Zhang, Yi-Xiang Chen

Publication date: 26 June 2015

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2014-1122

zbMATH Keywords

Heyting algebralinear temporal logicresiduated latticetrace semanticslattice-valued Kripke structures

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Many-valued logic (03B50) Temporal logic (03B44)

Related Items (5)

Quantitative analysis of software approximate correctness ⋮ Fuzzy alternating Büchi automata over distributive lattices ⋮ The approximate correctness of systems based on \(\delta\)-bisimulation ⋮ Nondeterministic fuzzy automata with membership values in complete residuated lattices ⋮ Fuzzy alternating automata over distributive lattices

This page was built for publication: Quantitative Analysis of Lattice-valued Kripke Structures