Publications 1997
- Abdelwaheb Ayari and David Basin and Andreas Podelski.
LISA: A Specification Language Based on WS2S.
In 11th International Conference of the European Association for Computer Science Logic (CSL '97).LNCS, 1414. Springer-Verlag, 1997.
[Download BibTeX (TXT, 1 KB) | Download gzip'ed Postscript (GZ, 107 KB)]
- David Basin and Seán Matthews and Luca Viganò.
Labelled Propositional Modal Logics: Theory and Practice.
In Journal of Logic and Computation, 7 (6), pages 685-717, 1997.
[Download BibTeX (BIB, 2 KB) | Download PDF (PDF, 358 KB) | Download gzip'ed Postscript (GZ, 194 KB)]
- David Basin and Seán Matthews and Luca Viganò.
A New Method for Bounding the Complexity of Modal Logics.
In Computational Logic and Proof Theory (Proceedings of the 5th Kurt Gödel Colloquium, KGC'97). LNCS 1289 Springer-Verlag, 1997.
[Download abstract (TXT, 653 Bytes) | Download BibTeX (BIB, 1 KB)]
- David Basin and Seán Matthews and Luca Viganò.
Labelled Quantified Modal Logics.
In Proceedings of KI'97 (21st German Annual Conference on Artificial Intelligence). LNAI 1303 Springer-Verlag, 1997.
[Download abstract (TXT, 630 Bytes) | Download BibTeX (BIB, 1 KB)]
- Luca Viganò.
A Framework for Non-Classical Logics.
Universität des Saarlandes,1997.
[Download abstract (TXT, 997 Bytes) | Download BibTeX (TXT, 1 KB)]