Semantic Methods
Author:
Poggiolesi Francesca
Publisher
Springer Netherlands
Reference29 articles.
1. L. Catach. Tableaux: A general theorem prover for modal logic. Journal of Automated Reasoning, 7:489–510, 1991.
2. C. Cerrato. Cut-free modal sequents for normal modal logics. Notre Dame Journal of Formal Logic, 34:564–582, 1993.
3. C. Cerrato. Modal sequents for normal modal logics. Mathematical Logic Quarterly, 39:231–240, 1993.
4. C. Cerrato. Modal sequents. In H. Wansing, editor, Proof Theory of Modal Logic, pp. 141–166. Kluwer Academic Publisher, Dordrecht, 1996.
5. C. Cerrato. Modal tree-sequents. Mathematical Logic Quarterly, 42:197–210, 1996.