Search the dblp DataBase
Kai Brünnler :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Kai Brünnler Deep Sequent Systems for Modal Logic. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2006, pp:107-0 [Conf ] Kai Brünnler Deep Inference and Its Normal Form of Derivations. [Citation Graph (0, 0)][DBLP ] CiE, 2006, pp:65-74 [Conf ] Kai Brünnler Atomic Cut Elimination for classical Logic. [Citation Graph (0, 0)][DBLP ] CSL, 2003, pp:86-97 [Conf ] Kai Brünnler , Alwen Fernanto Tiu A Local System for Classical Logic. [Citation Graph (0, 0)][DBLP ] LPAR, 2001, pp:347-361 [Conf ] Kai Brünnler Two Restrictions on Contraction. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2003, v:11, n:5, pp:525-529 [Journal ] Kai Brünnler Cut Elimination inside a Deep Inference System for Classical Predicate Logic. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2006, v:82, n:1, pp:51-71 [Journal ] An Algorithmic Interpretation of a Deep Inference System. [Citation Graph (, )][DBLP ] Modular Sequent Systems for Modal Logic. [Citation Graph (, )][DBLP ] Deep sequent systems for modal logic. [Citation Graph (, )][DBLP ] Syntactic cut-elimination for common knowledge. [Citation Graph (, )][DBLP ] Nested Sequents [Citation Graph (, )][DBLP ] Syntactic Cut-elimination for Common Knowledge. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs