Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Browsing by Author Pattinson, Dirk

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 4 to 23 of 45

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
01_Likak_Coalgebraic_Predicate_Logic:_2013.pdf.jpg

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
02_Lellmann_Constructing_Cut_Free_Sequent_2013.pdf.jpg

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
01_Lellmann_Correspondence_between_Modal_2013.pdf.jpg

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-

Generic modal cut elimination applied to conditional logics

Author(s)Pattinson, Dirk; Schroder, Lutz
TypeConference paper
Date Published2009
Date CreatedJuly 6-10 2009

Generic modal cut elimination applied to conditional logics

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

Global Caching for Coalgebraic Description Logics

Author(s)Gore, Rajeev; Kupke, Clemens; Pattinson, Dirk, et al
TypeConference paper
Date Published2010
Date CreatedJuly 16-19 2010

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