2000 |
16 | | David A. Basin,
Seán Matthews:
Structuring Metatheory on Inductive Definitions.
Inf. Comput. 162(1-2): 80-95 (2000) |
1998 |
15 | EE | David A. Basin,
Seán Matthews:
Scoped metatheorems.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
14 | | David A. Basin,
Seán Matthews,
Luca Viganò:
Labelled Modal Logics: Quantifiers.
Journal of Logic, Language and Information 7(3): 237-263 (1998) |
13 | | David A. Basin,
Seán Matthews,
Luca Viganò:
Natural Deduction for Non-Classical Logics.
Studia Logica 60(1): 119-160 (1998) |
1997 |
12 | | Seán Matthews:
A Practical Implementation of Simple Consequence Relations Using Inductive Definitions.
CADE 1997: 306-320 |
11 | | David A. Basin,
Seán Matthews,
Luca Viganò:
Labelled Quantified Modal Logics.
KI 1997: 171-182 |
10 | | David A. Basin,
Seán Matthews,
Luca Viganò:
A New Method for Bounding the Complexity of Modal Logics.
Kurt Gödel Colloquium 1997: 89-102 |
9 | | Seán Matthews:
Extending a Logical Framework with a Modal Connective for Validity.
TACS 1997: 491-514 |
8 | | David A. Basin,
Seán Matthews,
Luca Viganò:
Labelled Propositional Modal Logics: Theory and Practice.
J. Log. Comput. 7(6): 685-717 (1997) |
1996 |
7 | | David A. Basin,
Seán Matthews:
Structuring Metatheory on Inductive Definitions.
CADE 1996: 171-185 |
6 | | Seán Matthews:
Implementing FS0 in Isabelle: Adding Structure at the Metalevel.
DISCO 1996: 228-239 |
5 | | David A. Basin,
Seán Matthews,
Luca Viganò:
A Topography of Labelled Modal Logics.
Frontiers of Combining Systems (FroCos) 1996: 75-92 |
4 | | David A. Basin,
Seán Matthews,
Luca Viganò:
Implementing Modal and Relevance Logics in a Logical Framework.
KR 1996: 386-397 |
3 | | David A. Basin,
Seán Matthews:
Adding Metatheoretic Facilities to First-Order Theories.
J. Log. Comput. 6(6): 835-849 (1996) |
1993 |
2 | | David A. Basin,
Seán Matthews:
A Conservative Extension of First-order Logic and Its Application to Theorem Proving.
FSTTCS 1993: 151-160 |
1 | | David A. Basin,
Alan Bundy,
Ina Kraan,
Seán Matthews:
A Framework for Program Development Based on Schematic Proof.
IWSSD 1993: 162-171 |