Publikationen

Seite 2 von 2.

1. Lutz Schröder; Dirk Pattinson

   PSPACE Bounds for Rank-1 Modal Logics

   In: ACM Transactions on Computational Logic (TOCL), Vol. 10, No. 2, Pages 13:3-13:33, ACM, 2/2009.

2. Rob Myers; Dirk Pattinson; Lutz Schröder

   Coalgebraic Hybrid Logic

   In: Luca de Alfaro (Hrsg.). Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science …

3. Dirk Pattinson; Lutz Schröder

   Generic Modal Cut Elimination Applied to Conditional Logics

   In: Martin Giese; Arild Waaler (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods. International Conference on Automated …

4. Lutz Schröder; Dirk Pattinson; Clemes Kupke

   Nominals for Everyone

   In: Craig Boutilier (Hrsg.). International Joint Conferences on Artificial Intelligence. International Joint Conference on Artificial Intelligence …

5. Lutz Schröder; Dirk Pattinson

   Strong completeness of coalgebraic modal logics

   In: Susanne Albers; Jean-Yves Marion (Hrsg.). International Symposium on Theoretical Aspects of Computer Science. International Symposium on …

6. Daniel Hausmann; Lutz Schröder

   Optimizing Conditional Logic Reasoning within CoLoSS

   In: Thomas Bolander; Torben Braüner (Hrsg.). Proceedings of the 6th Workshop on Methods for Modalities. Methods for Modalities (M4M-6), November …

7. Lutz Schröder; Dirk Pattinson

   Rank-1 modal logics are coalgebraic

   In: Journal of Logic and Computation (JLC), Vol. o.A. Oxford University Press, 12/2008.

• 1
• 2