Concepedia

Kai Brünnler

KB

10

Publications

378

Citations

10

H-Index

2003

Active since

Affiliations

University of Bern(Current)

Gesellschaft Fur Mathematik Und Datenverarbeitung

Technische Universität Dresden

Kai Brünnler is an author at University of Bern specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceSemanticsLinguisticsSyntaxGrammarLanguageFormal Verification

Publications per year

2003–2022

10

Publications

10

Deep sequent systems for modal logic

Kai Brünnler · Archive for Mathematical Logic · 2009 · 156 citations

Deep Sequent Systems, Engineering, Automated Reasoning +4

Cut-free sequent systems for temporal logic

Kai Brünnler, Martin Lange · The Journal of Logic and Algebraic Programming · 2008 · 44 citations

Non-classical Logic, Cut-free Sequent Systems, Engineering +5

Locality for Classical Logic

Kai Brünnler · Notre Dame Journal of Formal Logic · 2006 · 35 citations

Non-classical Logic, Engineering, Substructural Logic +14

Syntactic Cut-elimination for Common Knowledge

Kai Brünnler, Thomas Studer · Electronic Notes in Theoretical Computer Science · 2009 · 26 citations · Full text

Syntactic Parsing, Engineering, Automated Proof +23

Cut Elimination inside a Deep Inference System for Classical Predicate Logic

Kai Brünnler · Studia Logica · 2006 · 25 citations

Natural Language Processing, Computational Logic, Non-classical Logic +11

Rows per page

1–5 of 10