Tableau methods of proof for modal logics.
Melvin Fitting
Source: Notre Dame J. Formal Logic Volume 13, Number 2 (1972), 237-247.
Primary Subjects: 02C10
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093894722
Zentralblatt MATH identifier:
0184.28102
Mathematical Reviews number (MathSciNet):
MR0294099
Digital Object Identifier: doi:10.1305/ndjfl/1093894722
Notre Dame Journal of Formal Logic
