Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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	Basin, Constable
2	Basin, Friedrich
2	Basin, Ganzinger
1	Basin, Giunchiglia, Kaufmann (ed.)
1	Basin, Giunchiglia, Traverso
1	Basin, Howe
1	Basin, Kaufmann
2	Basin, Klarlund
1	Basin, Krieg-Brückner
4	Basin, Matthews
8	Basin, Matthews, Viganò
		1998		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		Labelled Modal Logics: quantifiers In: Journal of Logic, Language and Information [7], 237-263	Journal Article
		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
5	Basin, Walsh
4	Baumeister
1	Baumgartner, Burchardt
2	Baumgartner, Fuchs, Tinelli
1	Baumgartner, Furbach
2	Baumgartner, Furbach, Gross-Hardt, Kleemann
1	Baumgartner, Furbach, Gross-Hardt, Sinner
1	Baumgartner, Furbach, Yahya
1	Baumgartner, Grabowski, Oevel, Melis
1	Baumgartner, Mediratta
1	Baumgartner, Suchanek

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)