Birgit Elbl

Publication Activity (10 Years)

Years Active: 1992-2018
Publications (10 Years): 2

Top Topics

Sequent Calculi

Inference Rules

Top Venues

Advances in Modal Logic

Bundeswehr University Munich, Neubiberg (Munich), Germany (PHD)

Education History

Bundeswehr University Munich, Neubiberg (Munich), Germany

PHD

Publications

Birgit Elbl
Cut-Free Sequent Calculi for Products and Relativised Products of Modal Logics. Advances in Modal Logic (2018)
Birgit Elbl
A cut-free sequent calculus for the logic of subset spaces. Advances in Modal Logic (2016)
Birgit Elbl
Lazy List Comprehension in Logic Programming. J. Log. Comput. 12 (5) (2002)
Birgit Elbl
Modeling Meta-logical Features in a Calculus with Frozen Variables. Proof Theory in Computer Science (2001)
Birgit Elbl
A Non-Definability Result for a Predicational Language with the Usual Control. Int. J. Found. Comput. Sci. 12 (3) (2001)
Birgit Elbl
Cut elimination for a calculus with context-dependent rules. Arch. Math. Log. 40 (3) (2001)
Birgit Elbl
Justifying control for logic programs. Electron. Notes Theor. Comput. Sci. 35 (2000)
Birgit Elbl
A Declarative Semantics for Depth-First Logic Programs. J. Log. Program. 41 (1) (1999)
Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl
Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic. Theor. Comput. Sci. 146 (1&2) (1995)
Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl
Proving Total Correctness of Programs in Weak Second-Order Logic. REX Workshop (1992)