Fibring Modal First-Order Logics: Completeness Preservation.
Saved in:
| Title: | Fibring Modal First-Order Logics: Completeness Preservation. |
|---|---|
| Authors: | Sernadas, Amilcar1, Sernadas, Cristina1, Zanardo, Alberto1 |
| Source: | Logic Journal of the IGPL; 2002, Vol. 10 Issue 4, p413-451, 39p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
