journals.bib

@article{Schroder:2015:VBR,
  author = {Lutz Schr{\"o}der and Dirk Pattinson and Tadeusz
                 Litak},
  title = {A Van Benthem/Rosen theorem for coalgebraic predicate
                 logic},
  year = {2015},
  journal = {Journal of Logic and Computation},
  note = {Advance Access Published July 6, 2015.},
  url = {/~dpattinson/Publications/jlc2015.pdf}
}

@article{Edalat:2013:CMM,
  author = {Abbas Edalat and Andr{\'e} Lieutier and Dirk
                 Pattinson},
  title = {A computational model for multi-variable differential
                 calculus},
  journal = {Inf. Comput.},
  volume = {224},
  year = {2013},
  pages = {23--45},
  url = {/~dpattinson/Publications/ic2013.pdf}
}

@article{Cirstea:2011:MLC,
  author = {Corina C\^{\i}rstea and Alexander Kurz and Dirk
                 Pattinson and Lutz Schr{\"o}der and Yde Venema},
  title = {Modal Logics are Coalgebraic},
  journal = {Comput. J.},
  volume = {54},
  number = {1},
  year = {2011},
  pages = {31--41},
  url = {/~dpattinson/Publications/cj2011.pdf}
}

@article{Pattinson:2011:GMC,
  author = {D. Pattinson and L. Schr{\"o}der},
  title = {Generic Modal Cut Elimination Applied to Conditional
                 Logics},
  journal = {Logical Methods in Computer Science},
  volume = {7},
  number = {1},
  year = {2011},
  note = {25 pages},
  url = {/~dpattinson/Publications/lmcs2011.pdf}
}

@article{Cirstea:2011:ETC,
  author = {C. Cirstea and C. Kupke and D. Pattinson},
  title = {{EXPTIME} Tableaux for the Coalgebraic
                 $\mu$-Calculus},
  journal = {Logical Methods in Computer Science},
  volume = {7},
  number = {3},
  year = {2011},
  url = {/~dpattinson/Publications/lmcs2011b.pdf}
}

@article{Schroder:2011:MAH,
  author = {L. Schr{\"o}der and D. Pattinson},
  title = {Modular Algorithms for Heterogeneous Modal Logics via
                 Multi-Sorted Coalgebra},
  journal = {Mathematical Structures in Computer Science},
  volume = {21},
  year = {2011},
  url = {/~dpattinson/Publications/mscs2011.pdf}
}

@article{Kupke:2011:CSM,
  author = {C. Kupke and D. Pattinson},
  title = {Coalgebraic Semantics of Modal Logics: an Overview},
  journal = {Theoretical Computer Science},
  note = {Special issue CMCS 2010},
  volume = {412},
  number = {38},
  year = {2011},
  pages = {5070--5094},
  url = {/~dpattinson/Publications/tcs2011.pdf}
}

@article{Pattinson:2010:CEC,
  author = {D. Pattinson and L. Schr{\"o}der},
  title = {Cut Elimination in Coalgebraic Logics},
  journal = {Information and Computation},
  year = {2010},
  volume = {208},
  issue = {12},
  pages = {1447--1468},
  url = {/~dpattinson/Publications/ic2010.pdf}
}

@article{Myers:2010:HLD,
  author = {R. Myers and D. Pattinson},
  title = {Hybrid Logic with the Difference Modality for
                 Generalisations of Graphs},
  journal = {J. Applied Logic},
  volume = {8},
  number = {4},
  year = {2010},
  pages = {441--458},
  url = {/~dpattinson/Publications/jal2010.pdf}
}

@article{Schroder:2010:RLC,
  author = {L. Schr{\"{o}}der and D. Pattinson},
  title = {Rank-1 Logics are Coalgebraic},
  journal = {Journal of Logic and Computation},
  volume = {20},
  number = {5},
  pages = {1113--1147},
  year = {2010},
  url = {/~dpattinson/Publications/jlc2010.pdf}
}

@article{Hancock:2009:RSP,
  author = {P. Hancock and D. Pattinson and N. Ghani},
  title = {Representations of Stream Processors using nested
                 fixed points},
  journal = {Logical Methods in Computer Science},
  volume = {5},
  number = {3},
  year = {2009},
  url = {/~dpattinson/Publications/lmcs2009.pdf}
}

@article{Schroder:2009:PBR,
  author = {L. Schr{\"{o}}der and D. Pattinson},
  title = {{PSPACE} Bounds for Rank-1 Modal Logics},
  journal = {ACM Transactions on Computational Logics},
  volume = {10},
  number = {2},
  year = {2009},
  url = {/~dpattinson/Publications/tocl2009.pdf}
}

@article{Edalat:2007:DSH,
  author = {A. Edalat and D. Pattinson},
  title = {Denotational Semantics of Hybrid Automata},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {73},
  issue = {1--2},
  pages = {3--21},
  year = {2007},
  url = {/~dpattinson/Publications/jlap2007.pdf}
}

@article{Cirstea:2007:MCC,
  author = {C. Cirstea and D. Pattinson},
  title = {Modular Construction of Complete Coalgebraic Logics},
  journal = {Theoretical Computer Science},
  volume = {388},
  year = {2007},
  pages = {83--108},
  url = {/~dpattinson/Publications/tcs2007.pdf}
}

@article{Edalat:2007:DTA,
  author = {A. Edalat and D. Pattinson},
  title = {A Domain-Theoretic Account of {P}icard's Theorem},
  journal = {LMS Journal of Computation and Mathematics},
  volume = {10},
  pages = {83--118},
  year = {2007},
  url = {/~dpattinson/Publications/jcm2007.pdf}
}

@article{Kurz:2005:CML,
  author = {A. Kurz and D. Pattinson},
  title = {Coalgebraic Modal Logic of Finite Rank},
  journal = {Mathematical Structures in Computer Science},
  volume = {15},
  number = {3},
  pages = {453--473},
  year = {2005},
  url = {/~dpattinson/Publications/mscs2005.pdf}
}

@article{Pattinson:2005:CAM,
  author = {D. Pattinson and M. Wirsing},
  title = {A Coordination Approach to Mobile Components},
  journal = {Theoretical Computer Science},
  volume = {331},
  number = {2--3},
  pages = {457--483},
  year = {2005},
  url = {/~dpattinson/Publications/tcs2005.pdf}
}

@article{Pattinson:2004:ELC,
  author = {D. Pattinson},
  title = {Expressive Logics for Coalgebras via Terminal Sequence
                 Induction},
  journal = {Notre Dame Journal of Formal Logic},
  volume = {45},
  number = {1},
  pages = {19--33},
  year = {2004},
  url = {/~dpattinson/Publications/ndjfl2004.pdf}
}

@article{Pattinson:2003:CML,
  author = {D. Pattinson},
  title = {Coalgebraic Modal Logic: Soundness, Completeness and
                 Decidability of Local Consequence},
  journal = {Theoretical Computer Science},
  year = {2003},
  volume = {309},
  number = {1--3},
  pages = {177--193},
  url = {/~dpattinson/Publications/tcs2003.pdf}
}