( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics.

, , , и . LFCS, том 11972 из Lecture Notes in Computer Science, стр. 27-46. Springer, (2020)

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.

Björn Lellmann

Saskia Björn

Bolli Björnsson

Ulf Björner

Erik Björnemo

 

Другие публикации лиц с тем же именем

Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms., и . DEON, стр. 94-113. College Publications, (2021)Sequentialising Nested Systems., , и . TABLEAUX, том 11714 из Lecture Notes in Computer Science, стр. 147-165. Springer, (2019)Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents., и . TABLEAUX, том 11714 из Lecture Notes in Computer Science, стр. 185-202. Springer, (2019)Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels.. TABLEAUX, том 11714 из Lecture Notes in Computer Science, стр. 203-220. Springer, (2019)Mīmāṃsā Deontic Logic: Proof Theory and Applications., , , и . TABLEAUX, том 9323 из Lecture Notes in Computer Science, стр. 323-338. Springer, (2015)Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics., , , и . LFCS, том 11972 из Lecture Notes in Computer Science, стр. 27-46. Springer, (2020)From Input/Output Logics to Conditional Logics via Sequents - with Provers.. TABLEAUX, том 12842 из Lecture Notes in Computer Science, стр. 147-164. Springer, (2021)Theorem Proving for Lewis Logics of Counterfactual Reasoning., , , , и . CILC, том 2710 из CEUR Workshop Proceedings, стр. 199-213. CEUR-WS.org, (2020)Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)., , и . CoRR, (2024)Explainable Rule Extraction via Semantic Graphs., , , и . ASAIL/LegalAIIA@ICAIL, том 2888 из CEUR Workshop Proceedings, стр. 24-35. CEUR-WS.org, (2021)