|
|||||
|
|
A Way of Making World Quantification Explicit |
|
| Authors: | Baratella Stefano; Masini Andrea |
| Institution: | 1 Dipartimento di Matematica, Università di Trento, via Sommarive 14, I-38050 Povo TN, Italy. E-mail: baratell{at}science.unitn.it 2 Dipartimento di Informatica, Università di Verona, cà Vignal 2, Strada Le Grazie 15, I-37134 Verona, Italy. E-mail: andrea{at}masini.univr.it |
| Abstract: | |
| Keywords: | modal logic intensional quantification completeness decidability |
| 本文献已被 Oxford 等数据库收录！ | |