( en | de | ru )

 

Disambiguation of "Lellmann, Björn"

Author of the publication

copydeleteadd this publication to your clipboard
Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms.

, and . DEON, page 94-113. College Publications, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Björn Lellmann

Saskia Björn

Bolli Björnsson

Ulf Björner

Erik Björnemo

 

Other publications of authors with the same name

Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms., and . DEON, page 94-113. College Publications, (2021)Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics., , , and . LFCS, volume 11972 of Lecture Notes in Computer Science, page 27-46. Springer, (2020)From Input/Output Logics to Conditional Logics via Sequents - with Provers.. TABLEAUX, volume 12842 of Lecture Notes in Computer Science, page 147-164. Springer, (2021)Theorem Proving for Lewis Logics of Counterfactual Reasoning., , , , and . CILC, volume 2710 of CEUR Workshop Proceedings, page 199-213. CEUR-WS.org, (2020)Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)., , and . FLOPS, volume 14659 of Lecture Notes in Computer Science, page 151-164. Springer, (2024)Mīmāṃsā Deontic Logic: Proof Theory and Applications., , , and . TABLEAUX, volume 9323 of Lecture Notes in Computer Science, page 323-338. Springer, (2015)Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels.. TABLEAUX, volume 11714 of Lecture Notes in Computer Science, page 203-220. Springer, (2019)Sequentialising Nested Systems., , and . TABLEAUX, volume 11714 of Lecture Notes in Computer Science, page 147-165. Springer, (2019)Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents., and . TABLEAUX, volume 11714 of Lecture Notes in Computer Science, page 185-202. Springer, (2019)Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents., and . Advances in Modal Logic, page 473-492. College Publications, (2018)