LogICS





Petr Cintula

Petr is the Head of the Department of Theoretical Computer Science at the ICS. His research focuses on mathematical fuzzy logic and abstract algebraic logic.
Petr's homepage

Marta Bílková

Marta's research focuses on modal logics and coalgebraic logic.
Marta's homepage


Zuzana Haniková

Zuzana works on algorithmic problems in substructural logics and first-order substructural logics.
Zuzana's homepage


Ondrej Majer

Ondrej concentrates on logic & games, epistemic logic and probability theory.
Ondrej's homepage


Amanda Vidal

Amanda works on modal fuzzy logics.
Amanda's homepage


Igor Sedlár

Igor focuses on non-classical modal logic.
Igor's homepage


Andrew Tedder

Andrew is a member of the NOCLID projet team. His research focuses on relevant logic and modal logic.
Andrew's homepage


Vít Punčochář

Vít is a member of the NOCLID project team. His research concentrates on non-classical logics, inquisitive semantics and philosophy of logic.
Vít's homepage



Past members