Lyndon Interpolation for Modal $$\mu $$-Calculus

DOI10.1007/978-3-030-98479-3_10zbMath1530.03072MaRDI QIDQ6487228

Bahareh Afshari, Graham E. Leigh

Publication date: 11 August 2022

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Lyndon Interpolation for Modal $$\mu $$-Calculus