Follow
Dirk Pattinson
Title
Cited by
Cited by
Year
Coalgebraic modal logic: Soundness, completeness and decidability of local consequence
D Pattinson
Theoretical Computer Science 309 (1-3), 177-193, 2003
2012003
Expressive logics for coalgebras via terminal sequence induction
D Pattinson
Notre Dame Journal of Formal Logic 45 (1), 19-33, 2004
1432004
Modal logics are coalgebraic
C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema
The Computer Journal 54 (1), 31-41, 2011
1262011
PSPACE bounds for rank-1 modal logics
L Schröder, D Pattinson
ACM Transactions on Computational Logic (TOCL) 10 (2), 1-33, 2009
1102009
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
872011
Algebraic semantics for coalgebraic logics
C Kupke, A Kurz, D Pattinson
Electronic Notes in Theoretical Computer Science 106, 219-241, 2004
802004
Representations of stream processors using nested fixed points
N Ghani, P Hancock, D Pattinson
Logical methods in computer science 5, 2009
692009
Rank-1 modal logics are coalgebraic
L Schröder, D Pattinson
Journal of Logic and Computation 20 (5), 1113-1147, 2010
672010
Semantical principles in the modal logic of coalgebras
D Pattinson
Annual Symposium on Theoretical Aspects of Computer Science, 514-526, 2001
592001
Ultrafilter extensions for coalgebras
C Kupke, A Kurz, D Pattinson
International Conference on Algebra and Coalgebra in Computer Science, 263-277, 2005
562005
EXPTIME tableaux for the coalgebraic µ-calculus
C Cırstea, C Kupke, D Pattinson
CSL 5771, 179-193, 2009
542009
EXPTIME tableaux for the coalgebraic mu-calculus
C Cîrstea, C Kupke, D Pattinson
Logical Methods in Computer Science 7, 2011
502011
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
482015
Modular algorithms for heterogeneous modal logics
L Schröder, D Pattinson
International Colloquium on Automata, Languages, and Programming, 459-471, 2007
442007
Sequent systems for Lewis’ conditional logics
B Lellmann, D Pattinson
European Workshop on Logics in Artificial Intelligence, 320-332, 2012
412012
Coalgebraic modal logic of finite rank
A Kurz, D Pattinson
Mathematical Structures in Computer Science 15 (3), 453-473, 2005
372005
Generic modal cut elimination applied to conditional logics
D Pattinson, L Schröder
Logical Methods in Computer Science 7, 2011
362011
Coalgebraic hybrid logic
R Myers, D Pattinson, L Schröder
Foundations of Software Science and Computational Structures: 12th …, 2009
352009
Strong completeness of coalgebraic modal logics
L Schröder, D Pattinson
arXiv preprint arXiv:0902.2072, 2009
342009
The system can't perform the operation now. Try again later.
Articles 1–20