Coalgebraic modal logic: Soundness, completeness and decidability of local consequence D Pattinson Theoretical Computer Science 309 (1-3), 177-193, 2003 | 201 | 2003 |
Expressive logics for coalgebras via terminal sequence induction D Pattinson Notre Dame Journal of Formal Logic 45 (1), 19-33, 2004 | 143 | 2004 |
Modal logics are coalgebraic C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema The Computer Journal 54 (1), 31-41, 2011 | 126 | 2011 |
PSPACE bounds for rank-1 modal logics L Schröder, D Pattinson ACM Transactions on Computational Logic (TOCL) 10 (2), 1-33, 2009 | 110 | 2009 |
Modular construction of modal logics C Cîrstea, D Pattinson International Conference on Concurrency Theory, 258-275, 2004 | 108* | 2004 |
Coalgebraic semantics of modal logics: An overview C Kupke, D Pattinson Theoretical Computer Science 412 (38), 5070-5094, 2011 | 87 | 2011 |
Algebraic semantics for coalgebraic logics C Kupke, A Kurz, D Pattinson Electronic Notes in Theoretical Computer Science 106, 219-241, 2004 | 80 | 2004 |
Representations of stream processors using nested fixed points N Ghani, P Hancock, D Pattinson Logical methods in computer science 5, 2009 | 69 | 2009 |
Rank-1 modal logics are coalgebraic L Schröder, D Pattinson Journal of Logic and Computation 20 (5), 1113-1147, 2010 | 67 | 2010 |
Semantical principles in the modal logic of coalgebras D Pattinson Annual Symposium on Theoretical Aspects of Computer Science, 514-526, 2001 | 59 | 2001 |
Ultrafilter extensions for coalgebras C Kupke, A Kurz, D Pattinson International Conference on Algebra and Coalgebra in Computer Science, 263-277, 2005 | 56 | 2005 |
EXPTIME tableaux for the coalgebraic µ-calculus C Cırstea, C Kupke, D Pattinson CSL 5771, 179-193, 2009 | 54 | 2009 |
EXPTIME tableaux for the coalgebraic mu-calculus C Cîrstea, C Kupke, D Pattinson Logical Methods in Computer Science 7, 2011 | 50 | 2011 |
Generic trace semantics and graded monads S Milius, D Pattinson, L Schröder 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015 …, 2015 | 48 | 2015 |
Modular algorithms for heterogeneous modal logics L Schröder, D Pattinson International Colloquium on Automata, Languages, and Programming, 459-471, 2007 | 44 | 2007 |
Sequent systems for Lewis’ conditional logics B Lellmann, D Pattinson European Workshop on Logics in Artificial Intelligence, 320-332, 2012 | 41 | 2012 |
Coalgebraic modal logic of finite rank A Kurz, D Pattinson Mathematical Structures in Computer Science 15 (3), 453-473, 2005 | 37 | 2005 |
Generic modal cut elimination applied to conditional logics D Pattinson, L Schröder Logical Methods in Computer Science 7, 2011 | 36 | 2011 |
Coalgebraic hybrid logic R Myers, D Pattinson, L Schröder Foundations of Software Science and Computational Structures: 12th …, 2009 | 35 | 2009 |
Strong completeness of coalgebraic modal logics L Schröder, D Pattinson arXiv preprint arXiv:0902.2072, 2009 | 34 | 2009 |