|
|||||
|
|
The Unrestricted Combination of Temporal Logic Systems |
|
| Authors: | Finger, Marcelo Weiss, M. Angela |
| Affiliation: | 1 Departamento de Ciência da Computação, Instituto de Matemática e Estatística, Universidade de São Paulo, Rua do Matão 1010, 05508-090 São Paulo, SP, Brazil. E-mail: mfinger{at}ime.usp.br 2 Departamento de Matemática, Instituto de Matemática e Estatística, Universidade de São Paulo, Rua do Matão 1010, 05508-090 São Paulo, SP, Brazil. E-mail: weiss{at}ime.usp.br |
| Abstract: | |
| Keywords: | Temporal Logics Combinations of Logical Systems Completeness of Combination of Logical Systems Decidability of Combination of Logical Systems |
| 本文献已被 Oxford 等数据库收录！ | |