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 26 to 45 of 45

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-

Strong completeness of coalgebraic modal logics

Author(s)Schroder, Lutz; Pattinson, Dirk
TypeConference paper
Date Published2009
Date CreatedFebruary 26-28 2009
01_Kulacka_Syntactic_Labelled_Tableaux_2013.pdf.jpg

Syntactic Labelled Tableaux for Łukasiewicz Fuzzy ALC

Author(s)Kulacka, Agnieszka; Pattinson, Dirk; Schroder, Lutz
TypeConference paper
Date Published2013
Date CreatedAugust 3-9 2013
01_Pattinson_The_Logic_of_Exact_Covers:_2013.pdf.jpg

The Logic of Exact Covers: Completeness and Uniform Interpolation

Author(s)Pattinson, Dirk
TypeConference paper
Date Published2013
Date CreatedJune 25-28 2013

Towards effects in mathematical operational semantics

Author(s)Abou-Saleh, Faris; Pattinson, Dirk
TypeJournal article
Date Published2011
Date Created-

Vote Counting as Mathematical Proof

Author(s)Pattinson, Dirk; Schurmann, Carsten
TypeJournal article
Date Published2015
Date Created-

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