Bisimulation in model-changing modal logics: an algorithmic study

DOI10.1093/LOGCOM/EXAD018MaRDI QIDQ6636655FDO

Authors Sujata Ghosh, Shreyas Gupta, Lei Li

Publication date 12 November 2024

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Bisimulation in model-changing modal logics: an algorithmic study

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