Labelled propositional modal logics: Theory and practice D Basin, S Matthews, L Vigano Journal of Logic and Computation 7 (6), 685-717, 1997 | 94 | 1997 |
Natural deduction for non-classical logics D Basin, S Matthews, L Viganò Studia Logica 60, 119-160, 1998 | 79 | 1998 |
Labelled modal logics: Quantifiers D Basin, S Matthews, L Vigano Journal of Logic, Language and Information 7, 237-263, 1998 | 46 | 1998 |
Labelled deduction D Basin, M D'Agostino, DM Gabbay, S Matthews, L Viganò Springer Science & Business Media, 2012 | 44 | 2012 |
Experience with FS0 as a framework theory S Matthews, A Smaill, D Basin Logical Environments, 61-82, 1993 | 29 | 1993 |
A modular presentation of modal logics in a logical framework D Basin, S Matthews, L Vigano The Tbilisi Symposium on Logic, Language and Computation: Selected Papers …, 1998 | 24 | 1998 |
A new method for bounding the complexity of modal logics D Basin, S Matthews, L Viganò Kurt Gödel Colloquium on Computational Logic and Proof Theory, 89-102, 1997 | 23 | 1997 |
A framework for program development based on schematic proof D Basin, A Bundy, I Kraan, S Matthews Proceedings of 1993 IEEE 7th International Workshop on Software …, 1993 | 21 | 1993 |
Logical frameworks D Basin, S Matthews Handbook of philosophical logic, 89-163, 2002 | 19 | 2002 |
Implementing FS0 in Isabelle: Adding structure at the metalevel S Matthews Design and Implementation of Symbolic Computation Systems: International …, 1996 | 18 | 1996 |
A theory and its metatheory in FS 0 S Matthews Max-Planck-Institut für Informatik, 1993 | 16 | 1993 |
Structuring metatheory on inductive definitions D Basin, S Matthews Information and Computation 162 (1-2), 80-95, 2000 | 12 | 2000 |
Experience with FS0 as a framework theory S Matthews, A Smaill, D Basin Max-Planck-Institut für Informatik, 1992 | 12 | 1992 |
Adding metatheoretic facilities to first-order theories D Basin, S Matthews Journal of Logic and Computation 6 (6), 835-849, 1996 | 9 | 1996 |
Reflection in logical systems S Matthews Max-Planck-Institut für Informatik, 1992 | 9 | 1992 |
Implementing modal and relevance logics in a logical framework D Basin, S Matthews, L Vigano KR, 386-397, 1996 | 8 | 1996 |
Experience with FS0 as a framework theory S an Matthews, A Smaill, D Basin Logical Environments, 61-82, 1992 | 8 | 1992 |
A topography of labelled modal logics D Basin, S Matthews, L Vigano Frontiers of Combining Systems: First International Workshop, Munich, March …, 1996 | 7 | 1996 |
Structuring metatheory on inductive definitions D Basin, S Matthews International Conference on Automated Deduction, 171-185, 1996 | 6 | 1996 |
Metatheoretic and Reflexive Reasoning in Mechanical Theorem Proving S Matthews PhD thesis, University of Edinburgh, 1992 | 6 | 1992 |