Conjunctive normal forms and weak modal logics without the axiom of necessity.
Shigeo Ōhama
Source: Notre Dame J. Formal Logic Volume 25, Number 2
(1984), 141-151.
First Page:
Show
Hide
Primary Subjects:
03B45
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093870574
Zentralblatt MATH identifier: 0556.03015
Mathematical Reviews number (MathSciNet): MR733600
Digital Object Identifier: doi:10.1305/ndjfl/1093870574
Notre Dame Journal of Formal Logic