Björn Lellmann

Available identifiers

zbMath Open lellmann.bjornWikidataQ102436656 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
Sequentialising nested systems	2020-05-14	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
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
Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity	2018-02-02	Paper
VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning	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
Linear Nested Sequents, 2-Sequents and Hypersequents	2015-12-11	Paper
Mīmāṃsā Deontic Logic: Proof Theory and Applications	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Björn Lellmann