ournal of Applied Non-Classical Logics
Natural deduction calculi for classical and intuitionistic S5
Volume 33, Issue 2, June 2023, Page 165-205.
ournal of Applied Non-Classical Logics
Nested sequents for intermediate logics: the case of Gödel-Dummett logics
Volume 33, Issue 2, June 2023, Page 121-164.
ournal of Applied Non-Classical Logics
Defeasible linear temporal logic
Volume 33, Issue 1, March 2023, Page 1-51.
ournal of Applied Non-Classical Logics
Fragments of quasi-Nelson: residuation
Volume 33, Issue 1, March 2023, Page 52-119.