|
|||||
|
|
Axiomatizing hybrid logic using modal logic |
|
| Authors: | Ian Hodkinson Louis Paternault |
| Affiliation: | a Department of Computing, Imperial College London, London SW7 2AZ, United Kingdom;b 4 rue de l'hôpital, 74800 La Roche sur Foron, France |
| Abstract: | |
| Keywords: | Axiomatization Quasimodal logic Nice frame McKinsey Lemmon Hughes |
| 本文献已被 ScienceDirect 等数据库收录！ | |