Bio
Papers
Talks
News
Experience
Projects
Teaching

Modal Logic

Bisimulation Safe Fixed Point Logic

Bisimulation safe fixed point logic in modal logic.

Faried Abu Zaid

• Aug 5, 2014 • 1 min read

© 2025 Faried Abu Zaid. This work is licensed under CC BY NC ND 4.0

Made with Hugo Blox — Open Source. Create your site →