A note on constructive interpolation for the multi-modal logic \(K_m\)

From MaRDI portal
Publication:2133432

DOI10.1016/j.entcs.2020.10.002OpenAlexW3108815624WikidataQ113317270 ScholiaQ113317270MaRDI QIDQ2133432

José-de-Jesús Lavalle-Martínez, Everardo Bárcenas, Guillermo Molero-Castillo, Alejandro Velázquez-Mena

Publication date: 29 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2020.10.002






Cites Work




This page was built for publication: A note on constructive interpolation for the multi-modal logic \(K_m\)