 | 2000 |
|---|
| 16 |       | David A. Basin,
Seán Matthews:
Structuring Metatheory on Inductive Definitions.
Inf. Comput. 162(1-2): 80-95 (2000) |
| 1998 |
|---|
| 15 |  | 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 |
