ournal of Applied Non-Classical Logics
A separation theorem for discrete-time interval temporal logic
Volume 32, Issue 1, March 2022, Page 28-54.
ournal of Applied Non-Classical Logics
Non-commutative propositional logic with short-circuit evaluation
Volume 31, Issue 3-4, September – December 2021, Page 234-278.
ournal of Applied Non-Classical Logics
Formal explanations as logical derivations
Volume 31, Issue 3-4, September – December 2021, Page 279-342.
ournal of Applied Non-Classical Logics
Most-intersection of countable sets
Volume 31, Issue 3-4, September – December 2021, Page 343-354.