Bjoern Lellmann
Bjoern Lellmann
TU Wien
Verified email at logic.at - Homepage
TitleCited byYear
Linear nested sequents, 2-sequents and hypersequents
B Lellmann
International Conference on Automated Reasoning with Analytic Tableaux and …, 2015
312015
Sequent systems for Lewis’ conditional logics
B Lellmann, D Pattinson
European Workshop on Logics in Artificial Intelligence, 320-332, 2012
292012
Proof search in nested sequent calculi
B Lellmann, E Pimentel
Logic for Programming, Artificial Intelligence, and Reasoning, 558-574, 2015
222015
Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5⋆
B Lellmann, D Pattinson
TABLEAUX 2013, 2013
192013
Discrete and continuous models for partitioning problems
J Lellmann, B Lellmann, F Widmann, C Schnörr
International journal of computer vision 104 (3), 241-269, 2013
182013
Modularisation of sequent calculi for normal and non-normal modalities
B Lellmann, E Pimentel
ACM Transactions on Computational Logic (TOCL) 20 (2), 7, 2019
162019
Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications
B Lellmann
IJCAR 2014, 307-321, 2014
152014
Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic
B Lellmann, D Pattinson
Indian Conference on Logic and Its Applications, 148-160, 2013
152013
Standard sequent calculi for Lewis’ logics of counterfactuals
M Girlando, B Lellmann, N Olivetti, GL Pozzato
European Conference on Logics in Artificial Intelligence, 272-287, 2016
142016
Hypersequent rules with restricted contexts for propositional modal logics
B Lellmann
Theoretical Computer Science 656, 76-105, 2016
122016
Grafting hypersequents onto nested sequents
R Kuznets, B Lellmann
Logic Journal of the IGPL 24 (3), 375-423, 2016
112016
Sequent Calculi with Context Restrictions and Applications to Conditional Logic
B Lellmann
Imperial College London, 2013
112013
Interpolation for Intermediate Logics via Hyper-and Linear Nested Sequents
R Kuznets, B Lellmann
Advances in Modal Logic 2018, 2018
92018
Mīmāṃsā deontic logic: proof theory and applications
A Ciabattoni, E Freschi, FA Genco, B Lellmann
International Conference on Automated Reasoning with Analytic Tableaux and …, 2015
92015
Cut elimination for shallow modal logics
B Lellmann, D Pattinson
International Conference on Automated Reasoning with Analytic Tableaux and …, 2011
82011
Hypersequent calculi for Lewis’ conditional logics with uniformity and reflexivity
M Girlando, B Lellmann, N Olivetti, GL Pozzato
International Conference on Automated Reasoning with Analytic Tableaux and …, 2017
72017
A uniform framework for substructural logics with modalities
B Lellmann, E Pimentel, C Olarte
LPAR-21 46, 435-455, 2017
72017
Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mīmāṃsā School
E Freschi, A Ciabattoni, FA Genco, B Lellmann
Journal of World Philosophies 2 (1), 2017
52017
VINTE: An Implementation of Internal Calculi for Lewis’ Logics of Counterfactual Reasoning
M Girlando, B Lellmann, N Olivetti, GL Pozzato, Q Vitalis
International Conference on Automated Reasoning with Analytic Tableaux and …, 2017
32017
From cut-free calculi to automated deduction: the case of bounded contraction
A Ciabattoni, B Lellmann, C Olarte, E Pimentel
Electronic Notes in Theoretical Computer Science 332, 75-93, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–20