Modal logic and the polynomial hierarchy: from QBFs to K and back

Anupam Das 0002, Sonia Marin. Modal logic and the polynomial hierarchy: from QBFs to K and back. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 329-348, College Publications, 2022.

Abstract

Abstract is missing.