Browsing by Author Pattinson, Dirk
Showing results 1 to 20 of 45
A computational model for multi-variable differential calculus
Author(s) | Edalat, Abbas; Lieutier, Andre; Pattinson, Dirk |
---|---|
Type | Journal article |
Date Published | 2013 |
Date Created | - |
A Van Benthem/Rosen theorem for coalgebraic predicate logic
Author(s) | Schroder, Lutz; Pattinson, Dirk; Litak, Tadeusz |
---|---|
Type | Journal article |
Date Published | 2015 |
Date Created | - |
Admissibility of Cut in Coalgebraic Logics
Author(s) | Pattinson, Dirk; Schroder, Lutz |
---|---|
Type | Journal article |
Date Published | 2008 |
Date Created | - |
Coalgebraic correspondence theory
Author(s) | Schroder, Lutz; Pattinson, Dirk |
---|---|
Type | Conference paper |
Date Published | 2010 |
Date Created | March 20-28 2010 |
Coalgebraic hybrid logic
Author(s) | Myers, Rob; Pattinson, Dirk; Schroder, Lutz |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | March 22-29 2009 |
Coalgebraic predicate logic
Author(s) | Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko, et al |
---|---|
Type | Conference paper |
Date Published | 2012 |
Date Created | July 9-13 2012 |
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory
Author(s) | Likak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko |
---|---|
Type | Journal article |
Date Published | 2013 |
Date Created | - |
Coalgebraic semantics of modal logics: An overview
Author(s) | Kupke, Clemens; Pattinson, Dirk |
---|---|
Type | Journal article |
Date Published | 2011 |
Date Created | - |
Coalgebraic weak bisimulation from recursive equations over monads
Author(s) | Goncharov, Sergey; Pattinson, Dirk |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | July 8-11 2014 |
CoLoSS: The Coalgebraic Logic Satisfiability Solver(System Description)
Author(s) | Calin, Georgel; Myers, Rob; Pattinson, Dirk, et al |
---|---|
Type | Journal article |
Date Published | 2009 |
Date Created | - |
Comodels and Effects in Mathematical Operational Semantics
Author(s) | Abou-Saleh, Faris; Pattinson, Dirk |
---|---|
Type | Conference paper |
Date Published | 2013 |
Date Created | March 16-24 2013 |
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic
Author(s) | Lellmann, Bjorn; Pattinson, Dirk |
---|---|
Type | Book chapter |
Date Published | 2013 |
Date Created | - |
Continuous Functions on Final Coalgebras
Author(s) | Ghani, Neil; Hancock, Peter; Pattinson, Dirk |
---|---|
Type | Journal article |
Date Published | 2009 |
Date Created | - |
COOL-A generic reasoner for coalgebraic hybrid logics (System description)
Author(s) | Gorin, Daniel; Pattinson, Dirk; Schroder, Lutz, et al |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | July 19-22 2014 |
Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5
Author(s) | Lellmann, Bjorn; Pattinson, Dirk |
---|---|
Type | Journal article |
Date Published | 2013 |
Date Created | - |
Cut elimination for shallow modal logics
Author(s) | Lellmann, Bjorn; Pattinson, Dirk |
---|---|
Type | Conference paper |
Date Published | 2011 |
Date Created | July 4-8 2011 |
Cut elimination in coalgebraic logics
Author(s) | Pattinson, Dirk; Schroder, Lutz |
---|---|
Type | Journal article |
Date Published | 2010 |
Date Created | - |
Description logics and fuzzy probability
Author(s) | Schroder, Lutz; Pattinson, Dirk |
---|---|
Type | Conference paper |
Date Published | 2011 |
Date Created | July 16-22 2011 |
EXPTIME tableaux for the coalgebraic u-calculus
Author(s) | Cirstea, Corina; Kupke, Clemens; Pattinson, Dirk |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | September 7-11 2009 |
Exptime tableaux for the coalgebraic μ-calculus
Author(s) | Cirstea, Corina; Kupke, C.; Pattinson, Dirk |
---|---|
Type | Journal article |
Date Published | 2011 |
Date Created | - |
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator