( en | de | ru )

 

Disambiguierung von "Lellmann, Björn"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics.

, , , und . LFCS, Volume 11972 von Lecture Notes in Computer Science, Seite 27-46. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Björn Lellmann

Saskia Björn

Bolli Björnsson

Ulf Björner

Erik Björnemo

 

Weitere Publikationen von Autoren mit dem selben Namen

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