Mechanizing bisimulation theorems for relation-changing logics in Coq

DOI10.1007/978-3-030-38808-9_1zbMath1496.03042OpenAlexW3000719559MaRDI QIDQ777873

Francisco Trucco, Raul Fervari, Beta Ziliani

Publication date: 8 July 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-38808-9_1

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Verification of dynamic bisimulation theorems in Coq

Uses Software

• Coq

This page was built for publication: Mechanizing bisimulation theorems for relation-changing logics in Coq