Lutz Schröder

Bibliography

Gorı́n, Daniel and Schröder, Lutz. 2012. “Extending ALCQ with Bounded Self-Reference.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 300–316. London: King’s College Publications.
Gorı́n, Daniel and Schröder, Lutz. 2014. “Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics.” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 254–273. London: King’s College Publications.