|
|||||
|
|
QMML: Quantified Minimal Modal Logic and Its Applications |
|
| Authors: | Stolpe Audun |
| Affiliation: | Humanistic Informatics, Faculty of Arts, N-5020 Bergen, Norway, E-mail: audun.stolpe{at}uib.no |
| Abstract: | |
| Keywords: | First-order modal logic minimal semantics permutation principles |
| 本文献已被 Oxford 等数据库收录！ | |