The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Björn Lellmann" ( http://dblp.L3S.de/Authors/Björn_Lellmann )

URL (Homepage):  https://www.logic.at/staffpages/lellmann  Author page on DBLP  Author page in RDF  Community of Björn Lellmann in ASPL-2

Publication years (Num. hits)
2011-2016 (15) 2017-2019 (15)
Publication types (Num. hits)
article(10) inproceedings(19) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 31 publication records. Showing 30 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Björn Lellmann, Elaine Pimentel Modularisation of Sequent Calculi for Normal and Non-normal Modalities. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rajeev Goré, Björn Lellmann Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version). Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Elaine Pimentel, Revantha Ramanayake, Björn Lellmann Sequentialising Nested Systems. Search on Bibsonomy TABLEAUX The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Björn Lellmann Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels. Search on Bibsonomy TABLEAUX The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rajeev Goré, Björn Lellmann Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents. Search on Bibsonomy TABLEAUX The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marianna Girlando, Björn Lellmann, Nicola Olivetti Nested Sequents for the Logic of Conditional Belief. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Björn Lellmann, Kees van Berkel 0002 Deontic reasoning: from ancient texts to artificial intelligence.: workshop report. Search on Bibsonomy SIGLOG News The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roman Kuznets, Björn Lellmann Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Agata Ciabattoni, Francesca Gulisano, Björn Lellmann Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann Mīmā\d{m}sā deontic logic: proof theory and applications. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Björn Lellmann, Elaine Pimentel Modularisation of Sequent Calculi for Normal and Non-normal Modalities. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Björn Lellmann, Carlos Olarte, Elaine Pimentel A uniform framework for substructural logics with modalities. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Björn Lellmann Hypersequent rules with restricted contexts for propositional modal logics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roman Kuznets, Björn Lellmann Grafting hypersequents onto nested sequents. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato Standard Sequent Calculi for Lewis' Logics of Counterfactuals. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roman Kuznets, Björn Lellmann Grafting Hypersequents onto Nested Sequents. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Björn Lellmann, Elaine Pimentel Proof Search in Nested Sequent Calculi. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Björn Lellmann Linear Nested Sequents, 2-Sequents and Hypersequents. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann Mīmāṃsā Deontic Logic: Proof Theory and Applications. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Björn Lellmann Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications. Search on Bibsonomy IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jan Lellmann, Björn Lellmann, Florian Widmann, Christoph Schnörr Discrete and Continuous Models for Partitioning Problems. Search on Bibsonomy International Journal of Computer Vision The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Björn Lellmann, Dirk Pattinson Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic. Search on Bibsonomy ICLA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Björn Lellmann, Dirk Pattinson Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Björn Lellmann Sequent calculi with context restrictions and applications to conditional logic. Search on Bibsonomy 2013   RDF
1Björn Lellmann, Dirk Pattinson Sequent Systems for Lewis' Conditional Logics. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Björn Lellmann, Dirk Pattinson Cut Elimination for Shallow Modal Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Björn Lellmann A note on a dichotomy for the classes W[P](C). Search on Bibsonomy ICCSW The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #30 of 30 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license