×
Compute Distance To:
Author ID: brunnler.kai Recent zbMATH articles by "Brünnler, Kai"
Published as: Brünnler, Kai

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 111 times in 86 Documents Cited by Year
Deep sequent systems for modal logic. Zbl 1180.03023
Brünnler, Kai
23
2009
Deep sequent systems for modal logic. Zbl 1150.03006
Brünnler, Kai
15
2006
A local system for classical logic. Zbl 1275.03150
Brünnler, Kai; Tiu, Alwen Fernanto
15
2001
Cut-free sequent systems for temporal logic. Zbl 1151.03009
Brünnler, Kai; Lange, Martin
11
2008
Deep inference and symmetry in classical proofs. Zbl 1094.03043
Brünnler, Kai
9
2004
A syntactic realization theorem for justification logics. Zbl 1254.03029
Brünnler, Kai; Goetschi, Remo; Kuznets, Roman
6
2010
An algorithmic interpretation of a deep inference system. Zbl 1182.03104
Brünnler, Kai; McKinley, Richard
5
2008
Syntactic cut-elimination for common knowledge. Zbl 1170.03007
Brünnler, Kai; Studer, Thomas
5
2009
Atomic cut elimination for classical logic. Zbl 1116.03335
Brünnler, Kai
4
2003
Syntactic cut-elimination for common knowledge. Zbl 1347.03023
Brünnler, Kai; Studer, Thomas
3
2009
Deep inference and its normal form of derivations. Zbl 1145.03333
Brünnler, Kai
3
2006
Cut elimination inside a deep inference system for classical predicate logic. Zbl 1097.03047
Brünnler, Kai
3
2006
Syntactic cut-elimination for a fragment of the modal mu-calculus. Zbl 1259.03031
Brünnler, Kai; Studer, Thomas
3
2012
Locality for classical logic. Zbl 1131.03030
Brünnler, Kai
2
2006
A first order system with finite choice of premises. Zbl 1097.03009
Brünnler, Kai; Guglielmi, Alessio
2
2004
Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4–8, 2011. Proceedings. Zbl 1216.68022
1
2011
How to universally close the existential rule. Zbl 1307.03009
Brünnler, Kai
1
2010
Syntactic cut-elimination for a fragment of the modal mu-calculus. Zbl 1259.03031
Brünnler, Kai; Studer, Thomas
3
2012
Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4–8, 2011. Proceedings. Zbl 1216.68022
1
2011
A syntactic realization theorem for justification logics. Zbl 1254.03029
Brünnler, Kai; Goetschi, Remo; Kuznets, Roman
6
2010
How to universally close the existential rule. Zbl 1307.03009
Brünnler, Kai
1
2010
Deep sequent systems for modal logic. Zbl 1180.03023
Brünnler, Kai
23
2009
Syntactic cut-elimination for common knowledge. Zbl 1170.03007
Brünnler, Kai; Studer, Thomas
5
2009
Syntactic cut-elimination for common knowledge. Zbl 1347.03023
Brünnler, Kai; Studer, Thomas
3
2009
Cut-free sequent systems for temporal logic. Zbl 1151.03009
Brünnler, Kai; Lange, Martin
11
2008
An algorithmic interpretation of a deep inference system. Zbl 1182.03104
Brünnler, Kai; McKinley, Richard
5
2008
Deep sequent systems for modal logic. Zbl 1150.03006
Brünnler, Kai
15
2006
Deep inference and its normal form of derivations. Zbl 1145.03333
Brünnler, Kai
3
2006
Cut elimination inside a deep inference system for classical predicate logic. Zbl 1097.03047
Brünnler, Kai
3
2006
Locality for classical logic. Zbl 1131.03030
Brünnler, Kai
2
2006
Deep inference and symmetry in classical proofs. Zbl 1094.03043
Brünnler, Kai
9
2004
A first order system with finite choice of premises. Zbl 1097.03009
Brünnler, Kai; Guglielmi, Alessio
2
2004
Atomic cut elimination for classical logic. Zbl 1116.03335
Brünnler, Kai
4
2003
A local system for classical logic. Zbl 1275.03150
Brünnler, Kai; Tiu, Alwen Fernanto
15
2001
all top 5

Cited by 93 Authors

12 Straßburger, Lutz
6 Kuznets, Roman
6 Studer, Thomas
5 Brünnler, Kai
4 Dyckhoff, Roy
3 Fitting, Melvin Chris
3 Yu, Junhua
2 Borg, Annemarie
2 Brotherston, James
2 Das, Anupam
2 Guglielmi, Alessio
2 Heijltjes, Willem B.
2 Hermo, Montserrat
2 Lellmann, Björn
2 Lucio, Paqui
2 Marti, Michel
2 Minari, Pierluigi
2 Negri, Sara
2 Pietarinen, Ahti-Veikko
2 Ramanayake, Revantha
2 Sadrzadeh, Mehrnoosh
2 Smolka, Gert
2 Tiu, Alwen Fernanto
2 Woltzenlogel Paleo, Bruno
1 Alenda, Régis
1 Alonderis, Romas
1 Antonakos, Evangelia
1 Arieli, Ofer
1 Bastenhof, Arno
1 Blute, Richard F.
1 Bolotov, Alexander
1 Braüner, Torben
1 Bruscoli, Paola
1 Bucheli, Samuel
1 Burns, Samara
1 Chaudhuri, Kaustuv
1 Chiffi, Daniele
1 Ciabattoni, Agata
1 Cini, Clare
1 Doczkal, Christian
1 Došen, Kosta
1 Drobyshevich, Sergeĭ Andreevich
1 Färber, Michael
1 Francalanza, Adrian
1 Gaintzarain, Jose
1 Galmiche, Didier
1 Ghari, Meghdad
1 Giedra, Haroldas
1 Goetschi, Remo
1 Goré, Rajeev Prabhakar
1 Guiraud, Yves
1 Gundersen, Tom
1 Horne, Ross
1 Hu, Tai-Wei
1 Humberstone, Lloyd
1 Indrzejczak, Andrzej
1 Ivanov, Ivan T.
1 Jäger, Gerhard
1 Kaliszyk, Cezary
1 Kaminski, Mark
1 Kaneko, Mamoru
1 Libal, Tomer
1 Ma, Minghui
1 Marin, Sonia
1 Mints, Grigoriĭ Efroimovich
1 Navarro, Marisa
1 Novaković, Novak
1 Olarte, Carlos
1 Olivetti, Nicola
1 Orejas, Fernando
1 Panangaden, Prakash
1 Parigot, Michel
1 Petrić, Zoran
1 Pimentel, Elaine
1 Pliuškevičienė, Aida
1 Pliuškevičius, Regimantas
1 Poggiolesi, Francesca
1 Postniece, Linda
1 Pozzato, Gian Luca
1 Pudlák, Pavel
1 Roversi, Luca
1 Salhi, Yakoub
1 Savateev, Yury
1 Sherratt, David
1 Stouppa, Phiniki
1 Strasser, Christian
1 Suzuki, Nobu-Yuki
1 Truffaut, Julien
1 Urban, Josef
1 Volpe, Marco
1 Widmann, Florian
1 Xavier, Bruno
1 Zach, Richard

Citations by Year