ournal of Applied Non-Classical Logics
Crypto-preorders, topological relations, information and logic
Volume 34, Issue 2-3, June – September 2024.
ournal of Applied Non-Classical Logics
Modal reduction principles: a parametric shift to graphs
Volume 34, Issue 2-3, June – September 2024.
ournal of Applied Non-Classical Logics
The existential fragment of second-order propositional intuitionistic logic is undecidable
Volume 34, Issue 1, March 2024, Page 55-74.