|
|
M. R. F. Benevides and T. S. E. Maibaum (1992): A Constructive Presentation for the Modal Connective of Necessity
| Title: |
A Constructive Presentation for the Modal Connective of Necessity |
| Author(s): |
M. R. F. Benevides and T. S. E. Maibaum |
| Year: |
1992 |
| Journal: |
Journal for Logic and Computation |
| Volume: |
2 |
| Pages: |
31-50 |
Concepts
|
|
