Journal of Applied Logics. IfCoLog Journal of Logics and their Applications. Volume 10, number 4, July 2023