On the complexity of two-agent justification logic (2014)

by Antonis Achilleos
Venue:CUNY Ph.D. Program in Computer Science