A Constructive Presentation for the Modal Connective of Necessity ({square}) |
| |
Authors: | BENEVIDES, MARIO R. F. MAIBAUM, THOMAS S. E. |
| |
Affiliation: | Department of Computing, Imperial College of Science, Technology and Medicine 180 Queen's Gate, London SW7 2BZ |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 Oxford 等数据库收录! |
|