Author:
Hausmann Daniel,Schröder Lutz
Publisher
Springer International Publishing
Reference27 articles.
1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
2. Bradfield, J., Stirling, C.: Modal $$\mu $$-calculi. In: Handbook of Modal Logic, pp. 721–756. Elsevier (2006)
3. Bruse, F., Friedmann, O., Lange, M.: On guarded transformation in the modal $$\mu $$-calculus. Log. J. IGPL 23(2), 194–216 (2015)
4. Chellas, B.F.: Modal Logic. Cambridge University Press, Cambridge (1980)
5. Cîrstea, C., Kupke, C., Pattinson, D.: EXPTIME tableaux for the coalgebraic $$\mu $$-calculus. Log. Methods Comput. Sci. 7(3:03), 1–33 (2011)