Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
22 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
10 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
9 |
| |||||||||
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 | |||||||
1998 | [Basin, David A.] Matthews, Seán [Viganò, Luca] | Ginzburg, Jonathan Khasidashvili, Zurab Vogel, Carl Levy, Jean-Jacques Vallduvi, Enric | 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 | ||||||
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 | |||||||
1997 | Basin, David A. Matthews, Seán Viganò, Luca | Brewka, Gerhard Habel, Christopher Nebel, Bernhard | Labelled quantified modal logics In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 171-182 | Proceedings Article | ||||||
1997 | Basin, David A. Matthews, Seán Viganò, Luca | Gottlob, G. Leitsch, A. Mundici, D. | 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 | Viganò, Luca | A Framework for Non-Classical Logics Universität des Saarlandes | Thesis - PhD thesis | |||||||
1996 | Basin, David A. Matthews, Seán Viganò, Luca | Baader, Franz Schulz, Klaus U. | A Topography of Labelled Modal Logics In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92 | Part of a Book | ||||||
1996 | Basin, David A. Matthews, Seán Viganò, Luca | Carlucci-Aiello, Luigia Doyle, Jon Shapiro, Stuart | Implementing Modal and Relevance Logics in a Logical Framework In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 386-397 | Proceedings Article | ||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
11 |
|