Björn Lellmann | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Elaine Pimentel
13 publications
Tiziano Dalmonte
7 publications
Rajeev Goré
6 publications
Nicola Olivetti
6 publications

research

∙ 06/09/2020

Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity

We present some hypersequent calculi for all systems of the classical cu...

0 Tiziano Dalmonte, et al. ∙

research

∙ 07/02/2019

Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version)

We give a linear nested sequent calculus for the basic normal tense logi...

0 Rajeev Goré, et al. ∙