LTG
Logic and Theory Group
Home
Contact
Staff
Publications
Journal Articles
Conference Papers
Habilitation Theses
PhD Theses
Master's Theses
Submitted
To appear
Technical Reports
Lectures
Research Projects
Student Projects
Links
Home
›
Publications
Publications
List
Filter
Show only items where
Author
Type
Term
Year
Keyword
is
(editor), Thomas Strahm
A. Nerode
Alberucci, Luca
Andersen, Kim Viborg
Areces, C
Arrazola, Xabier
Artemov, Sergei
B. Spanfelner
Balsiger, Peter
Bauer, Friedrich Ludwig
Baumgartner, Peter
Beckmann, Arnold
Beklemishev, Lev
Beklemishev, Lev D
Berger, Ulrich
Bolander, Thomas
Börger, E
Boroumand, Afshin D
Brauer, Wilfried
Braüner, Torben
Brignioni, Jimmy
Brink, Chris
Brugger, Jon
Brünnler, Kai
Bruscoli, Paola
Bucheli, Samuel
Bucher, Irene
Büning, Hans Kleine
Burri, Theo
Buss, Samuel R
Buss, Samuel S
Bütler, B
C. Glymour
Cantini, Andrea
Casari, Ettore
Cervesato, I
Clarke, Edmund M
Clote, Peter
Cooper, Barry S
Cori, Rene
D. Westerstahl
Debenham, John K
Demri, S
Devedżić, {Vladan
Dreschler-Fischer, L
Drossos, Costas
Dürig, Michael
Eberhard, Sebastian
Esser, R
Fabian, Daniel
Facchini, Alessandro
Feferman, Solomon
Fermüller, Christian
Fujita, Masayuki
Giese, Martin
Glass, Thomas
Goetschi, Remo
Goranko, Valentin
Goré, Rajeev
Gottlob, Georg
Governatori, Guido
Grädel, Erich
Hähnle, Reiner
Hajek, Petr
Han, Yongfei
Heifetz, Aviad
Heinle, Wolfgang
Heissenbüttel, Marc
Heuerding, Alain
Hodkinson, Ian
Horrocks, Ian
Hösli, Brigitte
Isaías, Pedro
J. Esparza
Jäger, Gerhard
Jäger, G
Jamroga, Wojtek
Kahl, Wolfram
Kahle, Reinhard
Keller, Philipp
Kleine Büning, H
Kohler, Roger Peter
Kottmann, Norbert
Krähenbühl, Jürg
Krebs, Michel
Kretz, Mathis
Künzi, Urs-Martin
Kuznets, Roman
Lamarche, François
Lange, Martin
Larrzabal, Ciro
Leitsch, Alexander
Lengrand, Stéphane
Lienhard, Heinz
Liniger, Simone
Link, Godehart
Löwe, Benedikt
Martini, S
Marzetta, Markus
Mattmann, R
McKinley, Richard
Miglioli, Pierangelo
Minari, Pierluigi
Mints, Grigori
Moscato, Ugo
Mundici, Daniele
Nerode, Anil
Nunes, Miguel B
O. Grumberg
Okamoto, Tatsuaki
Ornaghi, Mario
Ostrin, Geoffrey E
Parikh, Rohit
Peppas, Pavlos
Pernul, Günther
Pnueli, A
Pobil, Angel P
Ponte, Mar\'ıa
Posegga, Joachim
Pribbenow, S
Probst, Dieter
Pudlak, Pavel
Pulver, Cornelia
Qing, Sihan
Queiroz, Ruy
Ralf Schindler
Razborov, Alexander
Reis, Antonio Palma
Renne, Bryan
Revell, Norman
Richter, M M
Robinson, Alan
Rodosek, Robert
Rüede, Christian
S. Artemov
Sack, Joshua
Salipante, Vincenzo
Sattler, Ulrike
Schlingloff, Holger
Schlingloff, Bernd-Holger
Schmidt, Gunther
Schroeder-Heister, Peter
Schweizer, Thomas
Schwendimann, Stefan
Schwichtenberg, Helmut
Setzer, Anton
Seyfried, Michael
Shehtman, Valentin
Sieg, Wilfried
Sommer, Richard
Sonderegger, Daniel
Spescha, Daria
Stärk, Robert F
Steinbrüggen, Ralf
Steiner, David
Stewart, Charles
Stoffel, Kilian
Stolz, Manuela Claudia
Stouppa, Phiniki
Strahm, Thomas
Strassen, Tyko
Straßburger, Lutz
Studer, Thomas
Swart, Harrie C M
Talcott, Carolyn
Thomas, Wolfgang
Todorcevic, Stevo
Traber, Roger
Truss, John K
Tsinakis, Constantine
Tucker, John V
Tupailo, Sergei
Veith, H
Venema, Yde
Virbitskaite, Irina
Virbitskaite, I
Voronkov, A
Voronkov, Andrei
W. Wei
Waaler, Arild
Wagner, Roland
Wainer, Stanley S
Wehbe, Ricardo
Wilke, Thomas
Wirz, Marc
Wolter, Frank
Wood, Carol
Zimmermann, Heinrich
Zucker, Jeffery I
Zumbrunnen, Rico
Unpublished
Journal Article
Conference Paper
Thesis
Master's Thesis
PhD Thesis
Habilitation Thesis
Technical Report
Book
Submitted
To appear
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
$\Pi^p_2$-completeness
common knowledge
computational complexity
Derivability problem
epistemic modal logic
justification logic
justification logics
Logic of Proofs
modal logic
nested sequents
Ordinal theories
positive introspection
proof theory
realization theorem
self-referentiality
Suslin operator in applicative theories
Upcoming events
End Spring Semester 2012
(16 days)
more
Search
Search this site:
