Safety for Bisimulation in General Modal Logic

Authors

  • Marco Hollenberg Utrecht University Author

Abstract

We define a natural generalization of the notions of invariance and safety for bisimulation, and characterise the resulting notion of (n,m)-safety for bisimulation.

Downloads

Download data is not yet available.

Published

1995-12-01

Issue

1995: Proceedings of the 10th Amsterdam Colloquium

Section

Conference Proceedings

License

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

Hollenberg, M. (1995). Safety for Bisimulation in General Modal Logic. Proceedings of the Amsterdam Colloquium, 359-376. https://platform.openjournals.nl/PAC/article/view/24645