Speaker
Paaras Padhiar
University of Birmingham
Talks at this conference:
| Thu, 14:00 |
Justification logic for intuitionistic modal logic
Contributed |
Speaker
| Thu, 14:00 |
Justification logic for intuitionistic modal logic
Contributed |