Speaker
Justus Becker
University of Birmingham
Talks at this conference:
| Fri, 14:00 |
A non-wellfounded and labelled sequent calculus for bimodal provability logic
Contributed |
Speaker
| Fri, 14:00 |
A non-wellfounded and labelled sequent calculus for bimodal provability logic
Contributed |