Dirk Pattinson

Dirk Pattinson is a Professor at The Australian National University's School of Computing. His research interests include modal logics, particularly coalgebraic semantics, automated reasoning, domain theory, and logic and category theory. His work focuses on the foundations of computations with infinite objects and their logical analysis, with applications in logic-based knowledge representation. He has developed domain-theoretic methods for solving differential equations and contributed to the extension of coalgebraic frameworks to more expressive modal logics. Pattinson's research also explores the use of coalgebras for modeling infinitely recurring phenomena and the synthesis of logics for reasoning about complex systems.

Dirk Pattinson is a researcher in Computer Science, Logic, and Artificial Intelligence, with a focus on coalgebraic modal logic and its applications. His work explores the soundness, completeness, and decidability of local consequence in modal logics, emphasizing coalgebraic semantics and algebraic structures. Pattinson's research includes the development of rank-1 modal logics, coalgebraic µ-calculus, and the use of ultrafilter extensions for coalgebras. He has also contributed to the modular construction of modal logics and the design of sequent systems for conditional logics. His publications highlight the interplay between coalgebraic semantics and logical frameworks, advancing the theoretical foundations of artificial intelligence and formal methods.