Sean Matthews
Sean Matthews
Currently no academic affiliation
Geverifieerd e-mailadres voor deloitte.de
Titel
Geciteerd door
Geciteerd door
Jaar
Labelled propositional modal logics: Theory and practice
D Basin, S Matthews, L Vigano
Journal of Logic and Computation 7 (6), 685-717, 1997
901997
Natural deduction for non-classical logics
D Basin, S Matthews, L Vigano
Studia Logica 60 (1), 119-160, 1998
751998
Labelled deduction
D Basin, M D'Agostino, DM Gabbay, S Matthews, L Viganò
Springer Science & Business Media, 2012
532012
Labelled modal logics: Quantifiers
D Basin, S Matthews, L Vigano
Journal of Logic, Language and Information 7 (3), 237-263, 1998
401998
Experience with FS0 as a framework theory
S Matthews, A Smaill, D Basin
Max-Planck-Institut für Informatik, 1992
321992
A modular presentation of modal logics in a logical framework
D Basin, S Matthews, L Vigano
231995
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
221997
Logical frameworks
D Basin, S Matthews
Handbook of philosophical logic, 89-163, 2002
202002
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
191993
A theory and its metatheory in FS 0
S Matthews
Max-Planck-Institut für Informatik, 1993
171993
Implementing FS0 in Isabelle: Adding structure at the metalevel
S Matthews
International Symposium on Design and Implementation of Symbolic Computation …, 1996
161996
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
Logical Environments, 61-82, 1993
111993
Adding metatheoretic facilities to first-order theories
D Basin, S Matthews
Journal of Logic and Computation 6 (6), 835-849, 1996
101996
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
A topography of labelled modal logics
D Basin, S Matthews, L Vigano
Frontiers of Combining Systems, 75-92, 1996
81996
Experience with FS0 as a framework theory
S an Matthews, A Smaill, D Basin
Logical Environments, 61-82, 1992
81992
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20