Quantitative analysis of lattice-valued Kripke structures

DOI10.3233/FI-2014-1122MaRDI QIDQ5259293zbMATH OpenOpenAlexFDO

Authors Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang 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 algebralattice-valued Kripke structureslinear temporal logicresiduated latticetrace semantics

Mathematics Subject Classification ID

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

Recommendations

• Latticed simulation relations and games
• Latticed Simulation Relations and Games
• Simulation for lattice-valued doubly labeled transition systems
• scientific article; zbMATH DE number 6795378
• Model checking computation tree logic over finite lattices

Cited in

(9)

• Quantitative analysis of software approximate correctness
• Fuzzy alternating Büchi automata over distributive lattices
• The approximate correctness of systems based on \(\delta\)-bisimulation
• Quantitative Verification of Weighted Kripke Structures
• Latticed Simulation Relations and Games
• Latticed simulation relations and games
• Nondeterministic fuzzy automata with membership values in complete residuated lattices
• scientific article; zbMATH DE number 6795378 (Why is no real title available?)
• Fuzzy alternating automata over distributive lattices

This page was built for publication: Quantitative analysis of lattice-valued Kripke structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5259293)