2 papers
cs.LO2026
A Kruskal Decision Procedure for Intuitionistic Modal Logic IK4
Mario Piazza
We prove decidability of Simpson's intuitionistic modal logic IK$ by working directly with cut-free nested proofs. Once the end formula is fixed, only finitely many combinations of…
cs.LO2025
A logic for default deontic reasoning
Mario Piazza, Andrea Sabatini
In many real-life settings, agents must navigate dynamic environments while reasoning under incomplete information and acting on a corpus of unstable, context-dependent, and often…