Follow
Bjoern Lellmann
Bjoern Lellmann
BMF
Verified email at logic.at - Homepage
Title
Cited by
Cited by
Year
Linear nested sequents, 2-sequents and hypersequents
B Lellmann
Automated Reasoning with Analytic Tableaux and Related Methods: 24th …, 2015
472015
Modularisation of sequent calculi for normal and non-normal modalities
B Lellmann, E Pimentel
ACM Transactions on Computational Logic (TOCL) 20 (2), 1-46, 2019
402019
Sequent systems for Lewis’ conditional logics
B Lellmann, D Pattinson
Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012
362012
Proof search in nested sequent calculi
B Lellmann, E Pimentel
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
302015
Standard sequent calculi for Lewis’ logics of counterfactuals
M Girlando, B Lellmann, N Olivetti, GL Pozzato
Logics in Artificial Intelligence: 15th European Conference, JELIA 2016 …, 2016
252016
Discrete and continuous models for partitioning problems
J Lellmann, B Lellmann, F Widmann, C Schnörr
International journal of computer vision 104, 241-269, 2013
252013
Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5⋆
B Lellmann, D Pattinson
TABLEAUX 2013, 2013
242013
Sequent Calculi with Context Restrictions and Applications to Conditional Logic
B Lellmann
Imperial College London, 2013
232013
Hypersequent rules with restricted contexts for propositional modal logics
B Lellmann
Theoretical Computer Science 656, 76-105, 2016
202016
Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications
B Lellmann
IJCAR 2014, 307-321, 2014
202014
Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic
B Lellmann, D Pattinson
Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India …, 2013
192013
A uniform framework for substructural logics with modalities
B Lellmann, E Pimentel, C Olarte
LPAR-21 46, 435-455, 2017
172017
Mīmāṃsā deontic logic: Proof theory and applications
A Ciabattoni, E Freschi, FA Genco, B Lellmann
Automated Reasoning with Analytic Tableaux and Related Methods: 24th …, 2015
172015
Grafting hypersequents onto nested sequents
R Kuznets, B Lellmann
Logic Journal of the IGPL 24 (3), 375-423, 2016
162016
Interpolation for Intermediate Logics via Hyper-and Linear Nested Sequents
R Kuznets, B Lellmann
Advances in Modal Logic 2018, 2018
142018
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
142017
Hypersequent calculi for Lewis’ conditional logics with uniformity and reflexivity
M Girlando, B Lellmann, N Olivetti, GL Pozzato
Automated Reasoning with Analytic Tableaux and Related Methods: 26th …, 2017
122017
Cut elimination for shallow modal logics
B Lellmann, D Pattinson
Automated Reasoning with Analytic Tableaux and Related Methods: 20th …, 2011
122011
Combining monotone and normal modal logic in nested sequents–with countermodels
B Lellmann
Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019
112019
VINTE: an implementation of internal calculi for lewis’ logics of counterfactual reasoning
M Girlando, B Lellmann, N Olivetti, GL Pozzato, Q Vitalis
Automated Reasoning with Analytic Tableaux and Related Methods: 26th …, 2017
102017
The system can't perform the operation now. Try again later.
Articles 1–20