Skip navigation
Skip navigation

Browsing by Author Pattinson, Dirk

Or enter first few letters:  
Showing results 1 to 20 of 45

A computational model for multi-variable differential calculus

Author(s)Edalat, Abbas; Lieutier, Andre; Pattinson, Dirk
TypeJournal article
Date Published2013
Date Created-

A Van Benthem/Rosen theorem for coalgebraic predicate logic

Author(s)Schroder, Lutz; Pattinson, Dirk; Litak, Tadeusz
TypeJournal article
Date Published2015
Date Created-

Admissibility of Cut in Coalgebraic Logics

Author(s)Pattinson, Dirk; Schroder, Lutz
TypeJournal article
Date Published2008
Date Created-

Coalgebraic correspondence theory

Author(s)Schroder, Lutz; Pattinson, Dirk
TypeConference paper
Date Published2010
Date CreatedMarch 20-28 2010

Coalgebraic hybrid logic

Author(s)Myers, Rob; Pattinson, Dirk; Schroder, Lutz
TypeConference paper
Date Published2009
Date CreatedMarch 22-29 2009

Coalgebraic predicate logic

Author(s)Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko, et al
TypeConference paper
Date Published2012
Date CreatedJuly 9-13 2012

Coalgebraic Predicate Logic: Equipollence Results and Proof Theory

Author(s)Likak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko
TypeJournal article
Date Published2013
Date Created-

Coalgebraic semantics of modal logics: An overview

Author(s)Kupke, Clemens; Pattinson, Dirk
TypeJournal article
Date Published2011
Date Created-

Coalgebraic weak bisimulation from recursive equations over monads

Author(s)Goncharov, Sergey; Pattinson, Dirk
TypeConference paper
Date Published2014
Date CreatedJuly 8-11 2014

CoLoSS: The Coalgebraic Logic Satisfiability Solver(System Description)

Author(s)Calin, Georgel; Myers, Rob; Pattinson, Dirk, et al
TypeJournal article
Date Published2009
Date Created-

Comodels and Effects in Mathematical Operational Semantics

Author(s)Abou-Saleh, Faris; Pattinson, Dirk
TypeConference paper
Date Published2013
Date CreatedMarch 16-24 2013

Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic

Author(s)Lellmann, Bjorn; Pattinson, Dirk
TypeBook chapter
Date Published2013
Date Created-

Continuous Functions on Final Coalgebras

Author(s)Ghani, Neil; Hancock, Peter; Pattinson, Dirk
TypeJournal article
Date Published2009
Date Created-

COOL-A generic reasoner for coalgebraic hybrid logics (System description)

Author(s)Gorin, Daniel; Pattinson, Dirk; Schroder, Lutz, et al
TypeConference paper
Date Published2014
Date CreatedJuly 19-22 2014

Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5

Author(s)Lellmann, Bjorn; Pattinson, Dirk
TypeJournal article
Date Published2013
Date Created-

Cut elimination for shallow modal logics

Author(s)Lellmann, Bjorn; Pattinson, Dirk
TypeConference paper
Date Published2011
Date CreatedJuly 4-8 2011

Cut elimination in coalgebraic logics

Author(s)Pattinson, Dirk; Schroder, Lutz
TypeJournal article
Date Published2010
Date Created-

Description logics and fuzzy probability

Author(s)Schroder, Lutz; Pattinson, Dirk
TypeConference paper
Date Published2011
Date CreatedJuly 16-22 2011

EXPTIME tableaux for the coalgebraic u-calculus

Author(s)Cirstea, Corina; Kupke, Clemens; Pattinson, Dirk
TypeConference paper
Date Published2009
Date CreatedSeptember 7-11 2009

Exptime tableaux for the coalgebraic μ-calculus

Author(s)Cirstea, Corina; Kupke, C.; Pattinson, Dirk
TypeJournal article
Date Published2011
Date Created-

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator