Rodrigo Nicolau Almeida

Ein Überblick darüber, wie Regeln innerhalb logischer Rahmen interagieren.

Erforschung der coalgebraischen Semantik für intuitionsistische modale Logik mit bildlich-finite posets.

Untersuche die Rolle von Maximalitätsprinzipien in der Logik und ihre Zusammenhänge zu Wahl und Struktur.