The top documents tagged [resulting proof system]
-Modal Logic-PhDthesis_Marchignoli
237 views