A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Bisimulation Safe Fixed Point Logic
2014
Advances in Modal Logic
We define and investigate a new modal fixed-point logic, called bisimulation safe fixed-point logic BSFP, which is a calculus of binary relations that extends both PDL and the modal µ-calculus. The logic is motivated by concepts and results due to van Benthem and Hollenberg on bisimulation safety which plays a similar role for binary relations as the more familiar notion of bisimulation invariance plays for monadic ones. We prove that BSFP is indeed bisimulation invariant for state formulae and
dblp:conf/aiml/ZaidGJ14
fatcat:mlgku77fbzbe5edqe53ggbyvfq