Browsing by Author Kupke, Clemens
Showing results 1 to 7 of 7
Coalgebraic semantics of modal logics: An overview
Author(s) | Kupke, Clemens; Pattinson, Dirk |
---|---|
Type | Journal article |
Date Published | 2011 |
Date Created | - |
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 |
Global Caching for Coalgebraic Description Logics
Author(s) | Gore, Rajeev; Kupke, Clemens; Pattinson, Dirk, et al |
---|---|
Type | Conference paper |
Date Published | 2010 |
Date Created | July 16-19 2010 |
Nominals for everyone
Author(s) | Schroder, Lutz; Pattinson, Dirk; Kupke, Clemens |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | April 25-26 2009 |
On modal logics of linear inequalities
Author(s) | Kupke, Clemens; Pattinson, Dirk |
---|---|
Type | Conference paper |
Date Published | 2010 |
Date Created | August 24-27 2010 |
Optimal Tableau Algorithms for Coalgebraic Logics
Author(s) | Gore, Rajeev; Kupke, Clemens; Pattinson, Dirk |
---|---|
Type | Conference paper |
Date Published | 2010 |
Date Created | March 20-28 2010 |
Reasoning with Global Assumptions in Arithmetic Modal Logics
Author(s) | Kupke, Clemens; Pattinson, Dirk; Schroder, Lutz |
---|---|
Type | Journal article |
Date Published | 2015 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator