Full name Familienname, Vorname
Lellmann, Björn
 
Main Affiliation Organisations­zuordnung
 

Results 1-20 of 44 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lellmann-2021-Artificial Intelligence and Law-vor.pdf.jpgLellmann, Björn ; Gulisano, Francesca ; Ciabattoni, Agata Mīmāṃsā deontic reasoning using specificity: a proof theoretic approachArtikel Article Sep-2021
2Recski, Gabor ; Lellmann, Björn ; Kovacs, Adam ; Hanbury, Allan Explainable Rule Extraction via Semantic GraphsKonferenzbeitrag Inproceedings 2021
3Ciabattoni, Agata ; Lellmann, Björn Sequent Rules for Reasoning and Conflict Resolution in Conditional NormsKonferenzbeitrag Inproceedings 2021
4Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola ; Pimentel, Elaine Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.Artikel Article 2021
5Kuznets, Roman ; Lellmann, Björn Interpolation for intermediate logics via injective nested sequentsArtikel Article 2021
6Dalmonte, Tiziano ; Lellmann, Björn Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexityPreprint Preprint2020
7Lellmann, Björn ; Ciabattoni, Agata Sequent Rules for Reasoning and Conflict Resolution in Conditional NormsKonferenzbeitrag Inproceedings 2020
8Lellmann, Björn Theorem Proving for Lewis Logics of Counterfactual ReasoningKonferenzbeitrag Inproceedings 2020
9Kuznets, Roman ; Lellmann, Björn Interpolation for Intermediate Logics via Injective Nested SequentsPräsentation Presentation2020
10Girlando, Marianna ; Lellmann, Björn ; Olivetti, Nicola Nested Sequents for the Logic of Conditional BeliefKonferenzbeitrag Inproceedings 2019
11Lellmann, Björn Combining Monotone and Normal Modal Logic in Nested Sequents – with CountermodelsKonferenzbeitrag Inproceedings 2019
12Goré, Rajeev ; Lellmann, Björn Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested SequentsKonferenzbeitrag Inproceedings 2019
13Pimentel, Elaine ; Ramanayake, Revantha ; Lellmann, Björn Sequentialising Nested SystemsKonferenzbeitrag Inproceedings 2019
14Lellmann, Björn Proof theory for deontic logic inspired by Indian PhilosophyPräsentation Presentation2019
15Kuznets, Roman ; Lellmann, Björn Translating Quantitative Semantic Bounds into Nested SequentsPräsentation Presentation2019
16Lellmann, Björn Nested sequents and countermodels for monotone modal logicPräsentation Presentation2019
17Lellmann, Björn Countermodels for Non-normal Modal Logics via Nested SequentsPräsentation Presentation2019
18Lellmann, Björn ; Pimentel, Elaine Modularisation of Sequent Calculi for Normal and Non-normal ModalitiesArtikel Article 2019
19Lellmann, Björn Nested Sequents: Intermediate Logics and NeighbourhoodsPräsentation Presentation2018
20Ciabattoni, Agata ; Lellmann, Björn ; van Berkel, Kees Deontic Reasoning: From Ancient Texts to Artificial Intelligence. Workshop reportArtikel Article2018