A modal logic $\varepsilon$-calculus.
Melvin Fitting
Source: Notre Dame J. Formal Logic Volume 16, Number 1 (1975), 1-16.
Primary Subjects: 02C10
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093891609
Zentralblatt MATH identifier:
0226.02018
Mathematical Reviews number (MathSciNet):
MR0360214
Digital Object Identifier: doi:10.1305/ndjfl/1093891609
Notre Dame Journal of Formal Logic
