Intrinsic and relative characterization results for logics with negative modalities. - Jim de Groot; João Marcos 004; Rodrigo Stefanes (CoRR, 2025)

A method for the automated generation of proof exercises with comparable levels of proving complexity. - João Mendes; João Marcos 004; Patrick Terrematte (CoRR, 2026)