ask others

Kai Brünnler

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lfcs/BrunnlerFS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lfcs/BrunnlerFS18
Kai Brünnler, Dandolo Flumini, Thomas Studer:
A Logic of Blockchain Updates. LFCS 2018: 107-119
2017
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BrunnlerFS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BrunnlerFS17
Kai Brünnler, Dandolo Flumini, Thomas Studer:
A Logic of Blockchain Updates. CoRR abs/1707.01766 (2017)
2012
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/BrunnlerS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/apal/BrunnlerS12
Kai Brünnler, Thomas Studer:
Syntactic cut-elimination for a fragment of the modal mu-calculus. Ann. Pure Appl. Logic 163(12): 1838-1853 (2012)
2011
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/2011
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/2011
Kai Brünnler, George Metcalfe:
Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. Lecture Notes in Computer Science 6793, Springer 2011, ISBN 978-3-642-22118-7 [contents]
2010
[c8]
- view
  - electronic edition @ aiml.net
- export record
  dblp key:
  - conf/aiml/BrunnlerGK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiml/BrunnlerGK10
Kai Brünnler, Remo Goetschi, Roman Kuznets:
A Syntactic Realization Theorem for Justification Logics. Advances in Modal Logic 2010: 39-58
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/Brunnler10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/Brunnler10
Kai Brünnler:
How to Universally Close the Existential Rule. LPAR (Yogyakarta) 2010: 172-186
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1004-1845
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1004-1845
Kai Brünnler:
Nested Sequents. CoRR abs/1004.1845 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/aml/Brunnler09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/aml/Brunnler09
Kai Brünnler:
Deep sequent systems for modal logic. Arch. Math. Log. 48(6): 551-577 (2009)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/BrunnlerS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/apal/BrunnlerS09
Kai Brünnler, Thomas Studer:
Syntactic cut-elimination for common knowledge. Ann. Pure Appl. Logic 160(1): 82-95 (2009)
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BrunnlerS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/BrunnlerS09
Kai Brünnler, Thomas Studer:
Syntactic Cut-elimination for Common Knowledge. Electr. Notes Theor. Comput. Sci. 231: 227-240 (2009)
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/BrunnlerS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/BrunnlerS09
Kai Brünnler, Lutz Straßburger:
Modular Sequent Systems for Modal Logic. TABLEAUX 2009: 152-166
2008
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/BrunnlerL08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/BrunnlerL08
Kai Brünnler, Martin Lange:
Cut-free sequent systems for temporal logic. J. Log. Algebr. Program. 76(2): 216-225 (2008)
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/BrunnlerPS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/BrunnlerPS08
Kai Brünnler, Dieter Probst, Thomas Studer:
On contraction and the modal fragment. Math. Log. Q. 54(4): 345-349 (2008)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/BrunnlerM08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/BrunnlerM08
Kai Brünnler, Richard McKinley:
An Algorithmic Interpretation of a Deep Inference System. LPAR 2008: 482-496
2006
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ndjfl/Brunnler06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ndjfl/Brunnler06
Kai Brünnler:
Locality for Classical Logic. Notre Dame Journal of Formal Logic 47(4): 557-580 (2006)
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Brunnler06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sLogica/Brunnler06
Kai Brünnler:
Cut Elimination inside a Deep Inference System for Classical Predicate Logic. Studia Logica 82(1): 51-71 (2006)
[c4]
- view
  - electronic edition @ aiml.net
- export record
  dblp key:
  - conf/aiml/Brunnler06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiml/Brunnler06
Kai Brünnler:
Deep Sequent Systems for Modal Logic. Advances in Modal Logic 2006: 107-
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cie/Brunnler06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cie/Brunnler06
Kai Brünnler:
Deep Inference and Its Normal Form of Derivations. CiE 2006: 65-74
2003
[b1]
- view
- export record
  dblp key:
  - phd/de/Brunnler2003
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/de/Brunnler2003
Kai Brünnler:
Deep inference and symmetry in classical proofs. Logos-Verlag 2003, ISBN 3-8325-0448-6, pp. 1-93
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/igpl/Brunnler03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/igpl/Brunnler03
Kai Brünnler:
Two Restrictions on Contraction. Logic Journal of the IGPL 11(5): 525-529 (2003)
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Brunnler03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Brunnler03
Kai Brünnler:
Atomic Cut Elimination for classical Logic. CSL 2003: 86-97
2001
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/BrunnlerT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/BrunnlerT01
Kai Brünnler, Alwen Fernanto Tiu:
A Local System for Classical Logic. LPAR 2001: 347-361

Coauthor Index

see FAQ

maintained by

, founded at