All Stories

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

    Article • ACM Transactions on Computational Logic, October 2021, ACM (Association for Computing Machinery)

    Peter Hertling, Gisela Krommes