1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2024
LEGO-like Small-Model Constructions for Åqvist's Logics
Dmitry Rozplokhas
Åqvist's logics (E, F, F+(CM), and G) are among the best-known systems in the long tradition of preference-based approaches for modeling conditional obligation. While the general s…
cs.LO2023★ 1 cited
Streamlining Input/Output Logics with Sequent Calculi
Agata Ciabattoni, Dmitry Rozplokhas
Input/Output (I/O) logic is a general framework for reasoning about conditional norms and/or causal relations. We streamline Bochman's causal I/O logics via proof-search-oriented s…
cs.LO2020
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
In sequent calculi, cut elimination is a property that guarantees that any provable formula can be proven analytically. For example, Gentzen's classical and intuitionistic calculi…