The top documents tagged [modal sequent calculus]
Constructive Modal Logics, Once Again
291 views