Björn Lellmann

From MaRDI portal
Person:344800

Available identifiers

zbMath Open lellmann.bjornDBLP53/9766WikidataQ102436656 ScholiaQ102436656MaRDI QIDQ344800

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58783662023-02-21Paper
From input/output logics to conditional logics via sequents -- with provers2022-05-25Paper
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning2022-03-09Paper
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity2022-02-08Paper
Interpolation for intermediate logics via injective nested sequents2021-09-22Paper
Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents2020-05-14Paper
Combining monotone and normal modal logic in nested sequents -- with countermodels2020-05-14Paper
Sequentialising nested systems2020-05-14Paper
Countermodel construction via optimal hypersequent calculi for non-normal modal logics2020-05-06Paper
Nested sequents for the logic of conditional belief2020-02-18Paper
https://portal.mardi4nfdi.de/entity/Q52245822019-07-24Paper
https://portal.mardi4nfdi.de/entity/Q52249052019-07-24Paper
Modularisation of Sequent Calculi for Normal and Non-normal Modalities2019-05-03Paper
A uniform framework for substructural logics with modalities2019-01-10Paper
Grafting hypersequents onto nested sequents2019-01-08Paper
From cut-free calculi to automated deduction: the case of bounded contraction2018-04-23Paper
VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning2018-02-02Paper
Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity2018-02-02Paper
Standard Sequent Calculi for Lewis’ Logics of Counterfactuals2016-11-30Paper
Hypersequent rules with restricted contexts for propositional modal logics2016-11-24Paper
Proof Search in Nested Sequent Calculi2016-01-12Paper
Mīmāṃsā Deontic Logic: Proof Theory and Applications2015-12-11Paper
Linear Nested Sequents, 2-Sequents and Hypersequents2015-12-11Paper
Discrete and continuous models for partitioning problems2015-02-04Paper
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic2015-01-06Paper
Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications2014-09-26Paper
Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S52013-10-04Paper
Sequent Systems for Lewis’ Conditional Logics2012-09-21Paper
Cut Elimination for Shallow Modal Logics2011-07-01Paper

Research outcomes over time

This page was built for person: Björn Lellmann