2 papers
math.LO2026
Refutation calculi for lattice-based logics: from display to tableaux
Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano +2
Refutation calculi are formal systems developed to derive the invalid formulas of a given logic. While the notion of refutation calculi has played a key role in the development 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…