Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]
Login to this database
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| # |  | Year | Title | Type | ||||
|---|---|---|---|---|---|---|---|---|
| 1 |
| | ||||||
| 5 |
| | ||||||
| 6 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 5 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 2 |
| | ||||||
| 1 |
| | ||||||
| 2 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 6 |
| | ||||||
| | 1998 | Natural Deduction for Non-Classical Logics In: Studia Logica [60], 119-160 | Journal Article | | |||
| 1997 | 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 | Labelled Propositional Modal Logics: Theory and Practice In: Journal of Logic and Computation [7], 685-717 | Journal Article | | |||
| 1997 | 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 | | |||||
| | 1996 | A Topography of Labelled Modal Logics In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92 | Part of a Book | | |||
| 1996 | 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 | | |||||
| 2 |
| | ||||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)