Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 13:00, 18 October 2019

Search the publication database

  . Return

Your search returned the following 22 documents:

  1. David A. Basin and Sean Matthews
    Logical Frameworks
    In: Handbook of Philosophical Logic, 2002, 89-164
  2. Seán Matthews and David A. Basin
    Structuring Metatheory on Inductive Definitions
    Information and Computation 162 (1/2): 80-95, 2000
  3. David A. Basin, Seán Matthews, and Luca Viganò
    A Modular Presentation of Modal Logics in a Logical Framework
    In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, Tbilisi, Georgia, October 1995, 1998, 293-307
  4. David A. Basin, Seán Matthews, and Luca Viganò
    Labelled Modal Logics: quantifiers
    Journal of Logic, Language and Information 7 (3): 237-263, 1998
  5. David A. Basin, Seán Matthews, and Luca Viganò
    Natural Deduction for Non-Classical Logics
    Studia Logica 60 (1): 119-160, 1998
  6. Seán Matthews and David A. Basin
    Scoped Metatheorems
    Electronic Notes in Computer Science 15: 1-14, 1998
  7. David A. Basin, Seán Matthews, and Luca Viganò
    A New Method for Bounding the Complexity of Modal Logics
    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
  8. Seán Matthews
    A practical implementation of simple consequence relations using inductive definitions
    In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), Townsville, Australia, July, 13-17, 1997, 306-320
  9. Seán Matthews
    Extending a logical framework with a modal connective for validity
    In: Proceedings of the 3rd Symposium on Theoretical Aspects of Computer Software (TACS-97), Sendai, Japan, September, 23 - 26, 1997, 491-514
  10. David A. Basin, Seán Matthews, and Luca Viganò
    Labelled Propositional Modal Logics: Theory and Practice
    Journal of Logic and Computation 7 (6): 685-717, 1997
  11. David A. Basin, Seán Matthews, and Luca Viganò
    Labelled quantified modal logics
    In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, Freiburg, Germany, September, 1997, 171-182
  12. David A. Basin, Seán Matthews, and Luca Viganò
    A Topography of Labelled Modal Logics
    In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 1996, 75-92
  13. David A. Basin and Seán Matthews
    Adding Metatheoretic facilities to First-order Theories
    Journal of Logic and Computation 6 (6): 835-849, 1996
  14. David A. Basin, Seán Matthews, and Luca Viganò
    Implementing Modal and Relevance Logics in a Logical Framework
    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
  15. Seán Matthews
    Implementing $\textrm FS_0$ in Isabelle: Adding Structure at the Metalevel
    In: Design and Implementation of Symbolic Computation Systems (DISCO'96), Karlsruhe, Germany, September 18-20, 1996, 228-239
  16. Seán Matthews and Alex Simpson
    Reflection using the derivability conditions
    In: Logic and Algebra, 1996, 603-616
  17. David A. Basin and Seán Matthews
    Structuring metatheory on inductive definitions
    In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), New Brunswick, New Jersey, USA, July, 30 - August, 3, 1996, 171-185
  18. Seán Matthews
    A Theory and its Metatheory in $FS_0$
    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
  19. Seán Matthews
    Reflection in a Logical System
    In: Proc.~IMSA '92 Workshop on Reflection and Meta-Level Architecture, 1992, 178-183. Note: Also available as Research Report MPI-I-92-250
  20. David A. Basin and Seán Matthews
    A Conservative Extension of First-Order Logic and its Applications to Theorem Proving
    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
  21. David A. Basin, Alan Bundy, Ina Kraan, and Seán Matthews
    A Framework for Program Development Based on Schematic Proof
    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
  22. Seán Matthews, Alan Smaill, and David A. Basin
    Experience with $FS_0$ as a Framework Theory
    In: Logical Environments, 1993, 61-82. Note: Also available as Technical Report {MPI-I-92-214}