EN | DE
Theoretische Informatik

The Many Faces of Modal Logic

Slides

Course Notes

Further Reading

The biblography below is not meant to represent coalgebraic logic exhaustively, instead it points to the most salient results of the theory. It may still be a bit daunting, of course. For a high-level overview, check out Cirstea et al. 2011. The course was based mainly on

  • (Pattinson 2003)
  • (Schröder 2007)
  • (Schröder 2008)
  • (Pattinson / Schröder 2008)
  • (Schröder / Pattinson 2009)
  • (Pattinson / Schröder 2010)

2014
[47] Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics (Daniel Gorín, Lutz Schröder), In Proc. Advances in Modal Logic, AiML 2014 (Agi Kurucz, Rajeev Goré, eds.), LNCS, Springer, 2014. (To appear) [bib]
2013
[46] Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC (Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder), In Proc. 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Francesca Rossi, ed.), IJCAI/AAAI, 2013. [updated version] [bib] [pdf]
[45] Simulations and Bisimulations For Coalgebraic Modal Logics (Daniel Gorín, Lutz Schröder), In Proc. 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 (Reiko Heckel, Stefan Milius, eds.), Lect. Notes Comput. Sci., vol. 8089, pp. 253–266, Springer, 2013. [bib] [pdf] [doi]
[44] Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano), In Logic, Language, and Computation - 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Revised Selected Papers (Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter, eds.), Lecture Notes in Computer Science, vol. 7758, Springer, 2013. [bib]
[43] Some Sahlqvist Completeness Results for Coalgebraic Logics (Fredrik Dahlqvist, Dirk Pattinson), In Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Proceedings (Frank Pfenning, ed.), Lecture Notes in Computer Science, vol. 7794, pp. 193–208, Springer, 2013. [bib]
[42] Coalgebraic Announcement Logics (Facundo Carreiro, Daniel Gorín, Lutz Schröder), In Proc. 40th International Colloquium on Automata, Languages and Programming, ICALP 2013 (Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg, eds.), Lect. Notes Comput. Sci., vol. 7966, pp. 101–112, Springer, 2013. [bib] [pdf] [doi]
2012
[41] Narcissists Are Easy, Stepmothers Are Hard (Daniel Gorín, Lutz Schröder), In Proc. 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012 (Lars Birkedal, ed.), Lecture Notes in Computer Science, vol. 7213, pp. 240–254, Springer, 2012. [bib] [pdf] [doi]
[40] Modalities in the Stone age: A comparison of coalgebraic logics (Alexander Kurz, Raul Andres Leal), In Theor. Comput. Sci., vol. 430, pp. 88–116, 2012. [bib]
[39] Strongly Complete Logics for Coalgebras (Alexander Kurz, Jirí Rosický), In Logical Methods in Computer Science, vol. 8, 2012. [bib]
[38] Completeness for the coalgebraic cover modality (Clemens Kupke, Alexander Kurz, Yde Venema), In Logical Methods in Computer Science, vol. 8, 2012. [bib]
[37] Expressiveness of Positive Coalgebraic Logic (Krzysztof Kapulkin, Alexander Kurz, Jiri Velebil), In Advances in Modal Logic, AiML 2012 (Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence S. Moss, eds.), College Publications, 2012. [bib]
2011
[36] Description Logics and Fuzzy Probability (Lutz Schröder, Dirk Pattinson), In International Joint Conference on Artificial Intelligence, IJCAI 2011 (Toby Walsh, ed.), pp. 1075–1081, AAAI Press; Menlo Park, CA, 2011. [preprint] (Oral and poster presentation) [bib] [pdf]
[35] Modular Algorithms for Heterogeneous Modal Logics via Multi-Sorted Coalgebra (Lutz Schröder, Dirk Pattinson), In Math. Struct. Comput. Sci., vol. 21(2), pp. 235–266, 2011. [preprint] (Copyright Cambridge University Press) [bib] [pdf]
[34] Coalgebraic semantics of modal logics: An overview (Clemens Kupke, Dirk Pattinson), In Theor. Comput. Sci., vol. 412, pp. 5070–5094, 2011. [bib]
[33] EXPTIME Tableaux for the Coalgebraic mu-Calculus (Corina Cîrstea, Clemens Kupke, Dirk Pattinson), In Logical Methods in Computer Science, vol. 7, 2011. [bib]
[32] On the Fusion of Coalgebraic Logics (Fredrik Dahlqvist, Dirk Pattinson), In Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings (Andrea Corradini, Bartek Klin, Corina Cîrstea, eds.), Lecture Notes in Computer Science, vol. 6859, Springer, 2011. [bib]
[31] Model Constructions for Moss' Coalgebraic Logic (Jort Bergfeld, Yde Venema), In Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings (Andrea Corradini, Bartek Klin, Corina Cîrstea, eds.), Lecture Notes in Computer Science, vol. 6859, Springer, 2011. [bib]
[30] Modal logics are coalgebraic (Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema), In The Computer Journal, vol. 54(1), pp. 31–41, 2011. [bib] [pdf] [preprint] http://comjnl.oxfordjournals.org/cgi/content/abstract/bxp004">[doi]
2010
[29] Flat coalgebraic fixed point logics (Lutz Schröder, Yde Venema), In 21st International Conference on Concurrency Theory, CONCUR 2010 (Paul Gastin, François Laroussinie, eds.), Lecture Notes in Computer Science, vol. 6269, pp. 524–538, Springer, 2010. [preprint] [bib]
[28] Coalgebraic correspondence theory (Lutz Schröder, Dirk Pattinson), In Foundations of Software Science and Computation Structures (FoSSaCS 2010) (Luke Ong, ed.), Lecture Notes in Computer Science, vol. 6014, pp. 328–342, Springer, 2010. [preprint] [bib]
[27] Named Models in Coalgebraic Hybrid Logic (Lutz Schröder, Dirk Pattinson), In 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010 (Jean-Yves Marion, Thomas Schwentick, eds.), Leibniz International Proceedings in Informatics, vol. 5, pp. 645–656, Schloss Dagstuhl - Leibniz-Center of Informatics; Dagstuhl, Germany, 2010. [preprint] [bib]
[26] Rank-1 modal logics are coalgebraic (Lutz Schröder, Dirk Pattinson), In Journal of Logic and Computation, vol. 20(5), pp. 1113–1147, 2010. [preprint] [bib] [pdf]
[25] Cut Elimination in Coalgebraic Logics (Dirk Pattinson, Lutz Schröder), In Information and Computation, vol. 208, pp. 1447–1468, 2010. [preprint] [bib] [pdf]
[24] Global Caching for Coalgebraic Description Logics (Rajeev Gore, Clemens Kupke, Dirk Pattinson, Lutz Schröder), In International Joint Conference on Automated Reasoning, IJCAR 2010 (Jürgen Giesl, Reiner Haehnle, eds.), Lecture Notes in Computer Science, vol. 6173, pp. 46–60, Springer, 2010. [preprint] [bib]
[23] Coalgebra and Logic: A Brief Overview (Alexander Kurz, Alessandra Palmigiano, Yde Venema), In J. Log. Comput., vol. 20, pp. 985–990, 2010. [bib]
Powered by bibtexbrowser
Literature list as a bibtex file