Research Interests
Many-valued predicate logics. Intuitionistic, bi-intuitionistic, relevant, paraconsistent, and modal logics. Equality-free first-order logic. Second-order Logic. Logic in Computer Science.
Collaborators
My Erdős number is 3 via at least two paths:
Manfred Droste - Norbert W. Sauer - Paul Erdös.
Ronald Fagin - Miklós Ajtai - Paul Erdös.
So far, my list of collaborators (on papers either published, under review or in preparation) includes the following researchers:
Libor Behounek, John L. Bell, Xavier Caicedo, Petr Cintula, John N. Crossley, Pilar Dellunde, Manfred Droste, Thomas Eiter, Ronald Fagin, Daniel Gaina, Patrick Girard, Petr Hájek, Lloyd Humberstone, Raheleh Jalali, Marcel Jackson, Phokion Kolaitis, Tomasz Kowalski, Rafael Kiesel, Alex Knapp, David Makinson, Joao Marcos, Carles Noguera, Grigory Olkhovikov, Erik Paul, Andrew Tedder, Zach Weber, Martin Wirsing