The following pages link to Björn Lellmann (Q344800):
Displaying 29 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity (Q1694457) (← links)
- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning (Q1694459) (← links)
- From cut-free calculi to automated deduction: the case of bounded contraction (Q1744444) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- Countermodel construction via optimal hypersequent calculi for non-normal modal logics (Q2177577) (← links)
- Sequentialising nested systems (Q2180514) (← links)
- Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Q2180517) (← links)
- Combining monotone and normal modal logic in nested sequents -- with countermodels (Q2180518) (← links)
- Discrete and continuous models for partitioning problems (Q2254249) (← links)
- Nested sequents for the logic of conditional belief (Q2296755) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5 (Q2851947) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic (Q2936238) (← links)
- Cut Elimination for Shallow Modal Logics (Q3010370) (← links)
- Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications (Q3192201) (← links)
- Interpolation for intermediate logics via injective nested sequents (Q3382808) (← links)
- Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
- Mīmāṃsā Deontic Logic: Proof Theory and Applications (Q3455779) (← links)
- Proof Search in Nested Sequent Calculi (Q3460084) (← links)
- Modularisation of Sequent Calculi for Normal and Non-normal Modalities (Q4633639) (← links)
- Grafting hypersequents onto nested sequents (Q4644546) (← links)
- A uniform framework for substructural logics with modalities (Q4645752) (← links)
- Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity (Q5028311) (← links)
- (Q5224582) (← links)
- (Q5224905) (← links)
- Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning (Q5862470) (← links)
- (Q5878366) (← links)
