MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

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
YearTitleBibTeX cite key
Show details for Basin, ConstableBasin, Constable
Show details for Basin, FriedrichBasin, Friedrich
Show details for Basin, GanzingerBasin, Ganzinger
Show details for Basin, Giunchiglia, Kaufmann (ed.)Basin, Giunchiglia, Kaufmann (ed.)
Show details for Basin, Giunchiglia, TraversoBasin, Giunchiglia, Traverso
Show details for Basin, HoweBasin, Howe
Show details for Basin, KaufmannBasin, Kaufmann
Show details for Basin, KlarlundBasin, Klarlund
Show details for Basin, Krieg-BrücknerBasin, Krieg-Brückner
Show details for Basin, MatthewsBasin, Matthews
Hide details for Basin, Matthews, ViganòBasin, Matthews, Viganò
1998A 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		Basin98a
1998Labelled Modal Logics: quantifiers
In: Journal of Logic, Language and Information [7], 237-263		Basin97b
1998Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160		Basin97c
1997A 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		Basin97d
1997Labelled Propositional Modal Logics: Theory and Practice
In: Journal of Logic and Computation [7], 685-717		Basin97a
1997Labelled quantified modal logics
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 171-182		BasinMatthewsVigano97c
1996A Topography of Labelled Modal Logics
In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92		Basin96c
1996Implementing 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		Basin96d
Show details for Basin, WalshBasin, Walsh
Show details for BaumeisterBaumeister
Show details for Baumgartner, BurchardtBaumgartner, Burchardt
Show details for Baumgartner, Fuchs, TinelliBaumgartner, Fuchs, Tinelli
Show details for Baumgartner, FurbachBaumgartner, Furbach
Show details for Baumgartner, Furbach, Gross-Hardt, KleemannBaumgartner, Furbach, Gross-Hardt, Kleemann
Show details for Baumgartner, Furbach, Gross-Hardt, SinnerBaumgartner, Furbach, Gross-Hardt, Sinner
Show details for Baumgartner, Furbach, YahyaBaumgartner, Furbach, Yahya
Show details for Baumgartner, Grabowski, Oevel, MelisBaumgartner, Grabowski, Oevel, Melis
Show details for Baumgartner, MedirattaBaumgartner, Mediratta
Show details for Baumgartner, SuchanekBaumgartner, Suchanek

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