Logic and Theory Group (LTG)
Welcome to the Logic and Theory Group (LTG) at the Institute of Computer Science of the University of Bern.
Welcome to the Logic and Theory Group (LTG) at the Institute of Computer Science of the University of Bern.
The SSLPS Annual Meeting 2019 will be held at the University of Bern on October 24 and 25, 2019. The meeting is entitled Deontic Logic.
Explicit reasons is a new four year research project that we were granted by the SNSF.