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.
[DownloadBibTeX (TXT, 1 KB)vertical_align_bottom | Downloadgzip'ed Postscript (GZ, 107 KB)vertical_align_bottom]
- 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.
[DownloadBibTeX (BIB, 2 KB)vertical_align_bottom | DownloadPDF (PDF, 358 KB)vertical_align_bottom | Downloadgzip'ed Postscript (GZ, 194 KB)vertical_align_bottom]
- 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.
[Downloadabstract (TXT, 653 Bytes)vertical_align_bottom | DownloadBibTeX (BIB, 1 KB)vertical_align_bottom]
- 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.
[Downloadabstract (TXT, 630 Bytes)vertical_align_bottom | DownloadBibTeX (BIB, 1 KB)vertical_align_bottom]
- Luca Viganò.
A Framework for Non-Classical Logics.
Universität des Saarlandes,1997.
[Downloadabstract (TXT, 997 Bytes)vertical_align_bottom | DownloadBibTeX (TXT, 1 KB)vertical_align_bottom]