Login / Signup
Gisela Krommes
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
Classical Logic
Sequent Calculi
Proof Theory
Order Sorted
Top Venues
CoRR
ACM Trans. Comput. Log.
</>
Publications
</>
Peter Hertling
,
Gisela Krommes
EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces.
ACM Trans. Comput. Log.
22 (4) (2021)
Peter Hertling
,
Gisela Krommes
EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms.
CoRR
(2019)
Peter Hertling
,
Gisela Krommes
EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness.
CoRR
(2019)