Björn Lellmann

Available identifiers

zbMath Open lellmann.bjornDBLP53/9766WikidataQ102436656 ScholiaQ102436656MaRDI QIDQ344800

List of research outcomes

Publication	Date of Publication	Type
Sequent rules for reasoning and conflict resolution in conditional norms	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
Interpolation for intermediate logics via hyper- and linear nested sequents	2019-07-24	Paper
Resolving conflicting obligations in Mīmāṃsā: a sequent-based approach	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