Your search returned the following 9 documents:

9. A Modular Presentation of Modal Logics in a Logical Framework
   David A. Basin, Seán Matthews, and Luca Viganò
   In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, Tbilisi, Georgia, October 1995, 1998, 293-307
   
8. Labelled Modal Logics: quantifiers
   David A. Basin, Seán Matthews, and Luca Viganò
   Journal of Logic, Language and Information 7 (3): 237-263, 1998
   
7. Natural Deduction for Non-Classical Logics
   David A. Basin, Seán Matthews, and Luca Viganò
   Studia Logica 60 (1): 119-160, 1998
   
6. A Framework for Non-Classical Logics
   Luca Viganò
   Doctoral dissertation, Universität des Saarlandes, 1997
   
5. A New Method for Bounding the Complexity of Modal Logics
   David A. Basin, Seán Matthews, and Luca Viganò
   In: Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC-97), Vienna, Austria, August, 25 - 29, 1997, 89-102
   
4. Labelled Propositional Modal Logics: Theory and Practice
   David A. Basin, Seán Matthews, and Luca Viganò
   Journal of Logic and Computation 7 (6): 685-717, 1997
   
3. Labelled quantified modal logics
   David A. Basin, Seán Matthews, and Luca Viganò
   In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, Freiburg, Germany, September, 1997, 171-182
   
2. A Topography of Labelled Modal Logics
   David A. Basin, Seán Matthews, and Luca Viganò
   In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 1996, 75-92
   
1. Implementing Modal and Relevance Logics in a Logical Framework
   David A. Basin, Seán Matthews, and Luca Viganò
   In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, MA, USA, November 5-8, 1996, 1996, 386-397