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 21 to 40 of 45

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

How many toes do I have? Parthood and number restrictions in description logics

Author(s)Schroder, Lutz; Pattinson, Dirk
TypeConference paper
Date Published2008
Date CreatedSeptember 16-19 2008

Hybrid logic with the difference modality for generalisations of graphs

Author(s)Myers, Rob; Pattinson, Dirk
TypeJournal article
Date Published2010
Date Created-

Modal logics are coalgebraic

Author(s)Cirstea, Corina; Kurz, Alexander; Pattinson, Dirk, et al
TypeJournal article
Date Published2011
Date Created-

Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra

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

Named models in coalgebraic hybrid logic

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

Nominals for everyone

Author(s)Schroder, Lutz; Pattinson, Dirk; Kupke, Clemens
TypeConference paper
Date Published2009
Date CreatedApril 25-26 2009

On modal logics of linear inequalities

Author(s)Kupke, Clemens; Pattinson, Dirk
TypeConference paper
Date Published2010
Date CreatedAugust 24-27 2010

On the fusion of coalgebraic logics

Author(s)Dahlqvist, Fredrik; Pattinson, Dirk
TypeConference paper
Date Published2011
Date CreatedAugust 30-September 2 2011

Optimal Tableau Algorithms for Coalgebraic Logics

Author(s)Gore, Rajeev; Kupke, Clemens; Pattinson, Dirk
TypeConference paper
Date Published2010
Date CreatedMarch 20-28 2010

Optimal tableaux for conditional logics with cautious monotonicity

Author(s)Schröder , Lutz; Pattinson, Dirk; Hausmann, D.
TypeJournal article
Date Published2010
Date Created-

PSPACE bounds for rank-1 modal logics

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

Rank-1 modal logics are coalgebraic

Author(s)Schröder , Lutz; Pattinson, Dirk
TypeJournal article
Date Published2010
Date Created-

Reasoning with Global Assumptions in Arithmetic Modal Logics

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

Sequent systems for Lewis' conditional logics

Author(s)Lellmann, Bjorn; Pattinson, Dirk
TypeConference paper
Date Published2012
Date CreatedSeptember 26-28 2012

Simplified coalgebraic trace equivalence

Author(s)Kurz, Alexander; Milius, Stefan; Pattinson, Dirk, et al
TypeJournal article
Date Published2014
Date Created-

Solving graded/probabilistic modal logic via linear inequalities (system description)

Author(s)Snell, W.; Pattinson, Dirk; Widmann, Florian
TypeConference paper
Date Published2012
Date CreatedMarch 11-15 2012

Some Sahlqvist Completeness Results for Coalgebraic Logics

Author(s)Dahlqvist, Fredrik; Pattinson, Dirk
TypeJournal article
Date Published2013
Date Created-

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