EasyChair Smart SlideDocs/Log in
Author: Dirk Pattinson

This page shows all presentations of this author published in EasyChair Smart Slide.

COOL 2 - a Generic Reasoner for Modal Fixpoint Logics

COOL 2 - a Generic Reasoner for Modal Fixpoint Logics

Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker and Lutz Schröder

A van Benthem Theorem for Fuzzy Modal Logic

A van Benthem Theorem for Fuzzy Modal Logic

Paul Wild, Lutz Schröder, Dirk Pattinson and Barbara König

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair