Björn Lellmann

Available identifiers

zbMath Open lellmann.bjornDBLP53/9766WikidataQ102436656 ScholiaQ102436656MaRDI QIDQ344800

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5878366	2023-02-21	Paper
From input/output logics to conditional logics via sequents -- with provers	2022-05-25	Paper
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning	2022-03-09	Paper
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity	2022-02-08	Paper
Interpolation for intermediate logics via injective nested sequents	2021-09-22	Paper
Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents	2020-05-14	Paper
Combining monotone and normal modal logic in nested sequents -- with countermodels	2020-05-14	Paper
Sequentialising nested systems	2020-05-14	Paper
Countermodel construction via optimal hypersequent calculi for non-normal modal logics	2020-05-06	Paper
Nested sequents for the logic of conditional belief	2020-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q5224582	2019-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q5224905	2019-07-24	Paper
Modularisation of Sequent Calculi for Normal and Non-normal Modalities	2019-05-03	Paper
A uniform framework for substructural logics with modalities	2019-01-10	Paper
Grafting hypersequents onto nested sequents	2019-01-08	Paper
From cut-free calculi to automated deduction: the case of bounded contraction	2018-04-23	Paper
VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning	2018-02-02	Paper
Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity	2018-02-02	Paper
Standard Sequent Calculi for Lewis’ Logics of Counterfactuals	2016-11-30	Paper
Hypersequent rules with restricted contexts for propositional modal logics	2016-11-24	Paper
Proof Search in Nested Sequent Calculi	2016-01-12	Paper
Mīmāṃsā Deontic Logic: Proof Theory and Applications	2015-12-11	Paper
Linear Nested Sequents, 2-Sequents and Hypersequents	2015-12-11	Paper
Discrete and continuous models for partitioning problems	2015-02-04	Paper
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic	2015-01-06	Paper
Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications	2014-09-26	Paper
Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5	2013-10-04	Paper
Sequent Systems for Lewis’ Conditional Logics	2012-09-21	Paper
Cut Elimination for Shallow Modal Logics	2011-07-01	Paper

Research outcomes over time

This page was built for person: Björn Lellmann