Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach

DOI10.1016/j.jal.2016.03.002zbMath1436.68193MaRDI QIDQ301373

Sergey Babenyshev, Manuel A. Martins

Publication date: 30 June 2016

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2016.03.002

zbMATH Keywords

behavioral equivalence; hidden logic; Leibniz congruence

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

03G27: Abstract algebraic logic

Uses Software

• CIRC