17 citations · 27 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 9 cited
Mīmā\d{m}sā deontic logic: proof theory and applications
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco +1
Starting with the deontic principles in M\=ımā\d{m}sā texts we introduce a new deontic logic. We use general proof-theoretic methods to obtain a cut-free sequent calculus for this…
cs.LO2017
Modularisation of Sequent Calculi for Normal and Non-normal Modalities
Björn Lellmann, Elaine Pimentel
In this work we explore the connections between (linear) nested sequent calculi and ordinary sequent calculi for normal and non-normal modal logics. By proposing local versions to…