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}
}