The Freedoms of Guarded Bisimulation

Martin Otto
Guarded logics have been shown to be amazingly versatile and tractable logics since their inception by Andréka, van Benthem, Németi. Results to be surveyed include finite and small model properties, decidability results, complexity and expressive completeness issues, and guarded bisimulations.