Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms

Philippe Balbiani, David Fernández Duque, Andreas Herzig, Petar Iliev. Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms. Logic Journal of the IGPL, 30(1):155-185, 2022. [doi]

Abstract

Abstract is missing.