DOI10.1093/jigpal/jzac042OpenAlexW4213449094MaRDI QIDQ5877713
Luka Mikec
Publication date: 16 February 2023 Published in: Logic Journal of the IGPL (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1093/jigpal/jzac042
zbMATH Keywords
complexitymodal logicinterpretability logicVeltman semanticsPSPACE
Mathematics Subject Classification ID
Mathematical logic and foundations (03-XX) Computer science (68-XX)