|
|
Ricardo Caferra and St\'ephane Demri (1993): Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5
| Title: |
Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5 |
| Author(s): |
Ricardo Caferra and St\'ephane Demri |
| Year: |
1993 |
| Booktitle: |
Proceedings of the 13th International Joint Conference on Artificial Intelligence |
| Editor(s): |
Ruzena Bajcsy |
| Volume: |
1 |
| Pages: |
74-79 |
| Publisher: |
Morgan Kaufmann |
| Address: |
San Mateo, CA |
Concepts
|
|
