Bisimulation in model-changing modal logics: an algorithmic study

From MaRDI portal
Publication:6636655