Translator Disclaimer
Open Access
VOL. 6 | 1996 A uniform theorem proving tableau method for modal logic
Tadashi Araragi

Editor(s) Petr Hájek

Lecture Notes Logic, 1996: 173-182 (1996)
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

CHAPTER
10 PAGES


SHARE
Back to Top