| 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
Journal Of Logic And Computation | 2022-03-09 | Paper |
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
Journal Of Logic And Computation | 2022-02-08 | Paper |
Interpolation for intermediate logics via injective nested sequents
Journal Of Logic And Computation | 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
ACM Transactions on Computational Logic | 2019-05-03 | Paper |
A uniform framework for substructural logics with modalities
EPiC Series in Computing | 2019-01-10 | Paper |
Grafting hypersequents onto nested sequents
Logic Journal of the IGPL | 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
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Hypersequent rules with restricted contexts for propositional modal logics
Theoretical Computer Science | 2016-11-24 | Paper |
Proof search in nested sequent calculi
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Mīmāṃsā Deontic Logic: Proof Theory and Applications
Lecture Notes in Computer Science | 2015-12-11 | Paper |
Linear Nested Sequents, 2-Sequents and Hypersequents
Lecture Notes in Computer Science | 2015-12-11 | Paper |
Discrete and continuous models for partitioning problems
International Journal of Computer Vision | 2015-02-04 | Paper |
Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic
Logic and Its Applications | 2015-01-06 | Paper |
Axioms vs hypersequent rules with context restrictions: theory and applications
Automated Reasoning | 2014-09-26 | Paper |
Correspondence between modal Hilbert axioms and sequent rules with an application to S5
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Sequent Systems for Lewis’ Conditional Logics
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Cut elimination for shallow modal logics
Lecture Notes in Computer Science | 2011-07-01 | Paper |
