Phiniki Stouppa. A deep inference system for the modal logic S5. To appear in Studia Logica, 2006. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Deep Sequent Systems for Modal Logic - Brünnler (2006) (Correct)
No context found.
Phiniki Stouppa. A deep inference system for the modal logic S5. To appear in Studia Logica, 2006.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC