Bj\"orn Lellmann

Identifiers

No identifiers captured yet.

Papers (3)

1. Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version) cs.LO · 2019 · author #2
2. M\=im\=a\d{m}s\=a deontic logic: proof theory and applications cs.LO · 2017 · author #4
3. Modularisation of Sequent Calculi for Normal and Non-normal Modalities cs.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Agata Ciabattoni 1 shared papers
• Elaine Pimentel 1 shared papers
• Elisa Freschi 1 shared papers
• Francesco A. Genco 1 shared papers
• Rajeev Gor\'e 1 shared papers