| Linear nested sequents, 2-sequents and hypersequents B Lellmann International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 52 | 2015 |
| 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 | 51 | 2019 |
| Sequent systems for Lewis’ conditional logics B Lellmann, D Pattinson European Workshop on Logics in Artificial Intelligence, 320-332, 2012 | 40 | 2012 |
| Proof search in nested sequent calculi B Lellmann, E Pimentel Logic for Programming, Artificial Intelligence, and Reasoning, 558-574, 2015 | 33 | 2015 |
| 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 | 29 | 2016 |
| Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5⋆ B Lellmann, D Pattinson TABLEAUX 2013, 2013 | 27 | 2013 |
| Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications B Lellmann IJCAR 2014, 307-321, 2014 | 25 | 2014 |
| 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 | 25 | 2013 |
| Interpolation for Intermediate Logics via Hyper-and Linear Nested Sequents R Kuznets, B Lellmann Advances in Modal Logic 2018, 2018 | 24 | 2018 |
| Hypersequent rules with restricted contexts for propositional modal logics B Lellmann Theoretical Computer Science 656, 76-105, 2016 | 24 | 2016 |
| A uniform framework for substructural logics with modalities B Lellmann, E Pimentel, C Olarte LPAR-21 46, 435-455, 2017 | 23 | 2017 |
| 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 | 23 | 2013 |
| Sequent Calculi with Context Restrictions and Applications to Conditional Logic B Lellmann Imperial College London, 2013 | 23 | 2013 |
| Grafting hypersequents onto nested sequents R Kuznets, B Lellmann Logic Journal of the IGPL 24 (3), 375-423, 2016 | 21 | 2016 |
| 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 | 21 | 2015 |
| 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 | 16 | 2017 |
| Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity T Dalmonte, B Lellmann, N Olivetti, E Pimentel Journal of Logic and Computation 31 (1), 67-111, 2021 | 15 | 2021 |
| 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 | 14 | 2017 |
| Cut elimination for shallow modal logics B Lellmann, D Pattinson Automated Reasoning with Analytic Tableaux and Related Methods: 20th …, 2011 | 14 | 2011 |
| Sequentialising nested systems E Pimentel, R Ramanayake, B Lellmann Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019 | 11 | 2019 |
Elaine PimentelUniversity College LondonCorreu electrònic verificat a ucl.ac.uk