Sapporo One-day Workshop on

Hybrid Logic and Proof Theory

7th March 2024