Concepedia

Dirk Pattinson

DP

31

Publications

989

Citations

18

H-Index

2000

Active since

Affiliations

Imperial College London(Current)

University of Bremen

University of Leicester

Ludwig-Maximilians-Universität München

Dirk Pattinson is an author at Imperial College London specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSemanticsFormal VerificationNumerical AnalysisComputational ComplexityGamesSyntax

Publications per year

2000–2015

31

Publications

31

Coalgebraic modal logic: soundness, completeness and decidability of local consequence

Dirk Pattinson · Theoretical Computer Science · 2003 · 153 citations

Non-classical Logic, Engineering, Substructural Logic +7

Expressive Logics for Coalgebras via Terminal Sequence Induction

Dirk Pattinson · Notre Dame Journal of Formal Logic · 2004 · 91 citations · Full text

Modal Logics are Coalgebraic

Alexander Kurz, Dirk Pattinson, Lutz Schröder et al. · The Computer Journal · 2009 · 79 citations · Full text

Coalgebraic semantics of modal logics: An overview

Clemens Kupke, Dirk Pattinson · Theoretical Computer Science · 2011 · 60 citations

Coalgebraic Semantics, Automated Reasoning, Classical Logic +3

PSPACE bounds for rank-1 modal logics

Lutz Schröder, Dirk Pattinson · ACM Transactions on Computational Logic · 2009 · 60 citations · Full text

Rows per page

1–5 of 31