Dmitry Rozplokhas

Latest

• From Explicit Allowances to Defeasible Deontic Operators: A Modal View.
• GL-Based Calculi for PCL and Its Deontic Cousin
• Strongly Analytic Calculi for KLM Logics with SMT-Based Prover
• Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)