Login / Signup

EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces.

Peter HertlingGisela Krommes
Published in: ACM Trans. Comput. Log. (2021)
Keyphrases