|
|||||
|
|
The Unrestricted Combination of Temporal Logic Systems |
|
| Authors: | Finger Marcelo; Weiss M Angela |
| Institution: | 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 等数据库收录！ | |