22 |
| van der Torre, Leendert W. N. |
| |
1 |
| van Emde Boas, Peter (ed.) |
| |
2 |
| Van Hentenryck, Pascal (ed.) |
| |
1 |
| Vaz de Carvalho, Júlia (ed.) |
| |
| | 1998 | [Basin, David A.]
Matthews, Seán
[Viganò, Luca] | | A Modular Presentation of Modal Logics in a Logical Framework
In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, 293-307 | Proceedings Article | |
| | 1998 | [Basin, David A.]
Matthews, Seán
[Viganò, Luca] | | Labelled Modal Logics: quantifiers
In: Journal of Logic, Language and Information [7], 237-263 | Journal Article | |
| | 1998 | Basin, David A.
Matthews, Seán
Viganò, Luca | | Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160 | Journal Article | |
| | 1997 | Basin, David A.
Matthews, Seán
Viganò, Luca | | A New Method for Bounding the Complexity of Modal Logics
In: Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC-97), 89-102 | Proceedings Article | |
| | 1997 | Basin, David A.
Matthews, Seán
Viganò, Luca | | Labelled Propositional Modal Logics: Theory and Practice
In: Journal of Logic and Computation [7], 685-717 | Journal Article | |
| | 1996 | Basin, David A.
Matthews, Seán
Viganò, Luca | | A Topography of Labelled Modal Logics
In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92 | Part of a Book | |