Your search returned the following 22 documents:

22. Logical Frameworks
    David A. Basin and Sean Matthews
    In: Handbook of Philosophical Logic, 2002, 89-164
    
21. Structuring Metatheory on Inductive Definitions
    Seán Matthews and David A. Basin
    Information and Computation 162 (1/2): 80-95, 2000
    
20. 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
    
19. Labelled Modal Logics: quantifiers
    David A. Basin, Seán Matthews, and Luca Viganò
    Journal of Logic, Language and Information 7 (3): 237-263, 1998
    
18. Natural Deduction for Non-Classical Logics
    David A. Basin, Seán Matthews, and Luca Viganò
    Studia Logica 60 (1): 119-160, 1998
    
17. Scoped Metatheorems
    Seán Matthews and David A. Basin
    Electronic Notes in Computer Science 15: 1-14, 1998
    
16. 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
    
15. A practical implementation of simple consequence relations using inductive definitions
    Seán Matthews
    In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), Townsville, Australia, July, 13-17, 1997, 306-320
    
14. Extending a logical framework with a modal connective for validity
    Seán Matthews
    In: Proceedings of the 3rd Symposium on Theoretical Aspects of Computer Software (TACS-97), Sendai, Japan, September, 23 - 26, 1997, 491-514
    
13. 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
    
12. 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
    
11. 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
    
10. Adding Metatheoretic facilities to First-order Theories
    David A. Basin and Seán Matthews
    Journal of Logic and Computation 6 (6): 835-849, 1996
    
9. 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
   
8. Implementing $\textrm FS_0$ in Isabelle: Adding Structure at the Metalevel
   Seán Matthews
   In: Design and Implementation of Symbolic Computation Systems (DISCO'96), Karlsruhe, Germany, September 18-20, 1996, 228-239
   
7. Reflection using the derivability conditions
   Seán Matthews and Alex Simpson
   In: Logic and Algebra, 1996, 603-616
   
6. Structuring metatheory on inductive definitions
   David A. Basin and Seán Matthews
   In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), New Brunswick, New Jersey, USA, July, 30 - August, 3, 1996, 171-185
   
5. A Theory and its Metatheory in $FS_0$
   Seán Matthews
   In: What is a logical system?, 1994, 329-354. Note: Also available as Research Report MPI-I-93-227, Max-Planck-Institut für Informatik, Saarbrücken
   
4. Reflection in a Logical System
   Seán Matthews
   In: Proc.~IMSA '92 Workshop on Reflection and Meta-Level Architecture, 1992, 178-183. Note: Also available as Research Report MPI-I-92-250
   
3. A Conservative Extension of First-Order Logic and its Applications to Theorem Proving
   David A. Basin and Seán Matthews
   In: Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'93), Bombay, India, 1993, 151-160. Note: Also available as Research Report MPI-I-93-235
   
2. A Framework for Program Development Based on Schematic Proof
   David A. Basin, Alan Bundy, Ina Kraan, and Seán Matthews
   In: Proc. 7th Intern.~Workshop on Software Specification and Design, Redondo Beach, CA, 1993, 162-171. Note: Also available as Research Report MPI-I-93-231
   
1. Experience with $FS_0$ as a Framework Theory
   Seán Matthews, Alan Smaill, and David A. Basin
   In: Logical Environments, 1993, 61-82. Note: Also available as Technical Report {MPI-I-92-214}