Dmitry Rozplokhas

Latest

• Strongly Analytic Calculi for KLM Logics with SMT-Based Prover
• Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)