Follow
Sean Matthews
Sean Matthews
Currently no academic affiliation
No verified email
Title
Cited by
Cited by
Year
Labelled propositional modal logics: Theory and practice
D Basin, S Matthews, L Vigano
Journal of Logic and Computation 7 (6), 685-717, 1997
931997
Natural deduction for non-classical logics
D Basin, S Matthews, L Viganò
Studia Logica 60, 119-160, 1998
781998
Labelled modal logics: Quantifiers
D Basin, S Matthews, L Vigano
Journal of Logic, Language and Information 7, 237-263, 1998
461998
Labelled deduction
D Basin, M D'Agostino, DM Gabbay, S Matthews, L Viganò
Springer Science & Business Media, 2012
412012
Experience with FS0 as a framework theory
S Matthews, A Smaill, D Basin
Logical Environments, 61-82, 1993
291993
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
241998
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
231997
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
211993
Logical frameworks
D Basin, S Matthews
Handbook of philosophical logic, 89-163, 2002
192002
Implementing FS0 in Isabelle: Adding structure at the metalevel
S Matthews
Design and Implementation of Symbolic Computation Systems: International …, 1996
181996
A theory and its metatheory in FS 0
S Matthews
Max-Planck-Institut für Informatik, 1993
161993
Structuring metatheory on inductive definitions
D Basin, S Matthews
Information and Computation 162 (1-2), 80-95, 2000
122000
Experience with FS0 as a framework theory
S Matthews, A Smaill, D Basin
Max-Planck-Institut für Informatik, 1992
121992
Adding metatheoretic facilities to first-order theories
D Basin, S Matthews
Journal of Logic and Computation 6 (6), 835-849, 1996
91996
Reflection in logical systems
S Matthews
Max-Planck-Institut für Informatik, 1992
91992
Implementing modal and relevance logics in a logical framework
D Basin, S Matthews, L Vigano
KR, 386-397, 1996
81996
Experience with FS0 as a framework theory
S an Matthews, A Smaill, D Basin
Logical Environments, 61-82, 1992
81992
A topography of labelled modal logics
D Basin, S Matthews, L Vigano
Frontiers of Combining Systems: First International Workshop, Munich, March …, 1996
71996
Structuring metatheory on inductive definitions
D Basin, S Matthews
International Conference on Automated Deduction, 171-185, 1996
61996
Metatheoretic and Reflexive Reasoning in Mechanical Theorem Proving
S Matthews
PhD thesis, University of Edinburgh, 1992
61992
The system can't perform the operation now. Try again later.
Articles 1–20