Antonis Achilleos

Antonis Achilleos

Antonis Achilleos

Graduate Center CUNY

external web page

Antonis Achilleos has 4 talks in our database:
Computational Logic Seminar March 31, 2015
NEXP-completeness and Universal Hardness Results for Justification Logic
Computational Logic Seminar March 4, 2014
Parameters and the Complexity of Modal Satisfiability
Computational Logic Seminar October 8, 2013
On the Complexity of Multi-agent Justification Logic Under Interacting Justifications II
Computational Logic Seminar October 1, 2013
On the Complexity of Multi-agent Justification Logic Under Interacting Justifications
CUNYGraduate Center