Bisimulation Safe Fixed Point Logic

Aug 5, 2014·
Faried Abu Zaid
,
Erich Grädel
,
Stephan Jaax
· 0 min read
Abstract
This paper presents bisimulation safe fixed point logic, exploring its properties and applications in modal logic.
Type
Publication
Advances in Modal Logic 10, Groningen, The Netherlands
Modal Logic Fixed Point Logic