EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms.

Peter Hertling Gisela Krommes

Published in: CoRR (2019)

Keyphrases

computational properties
proof theory
learning algorithm
optimization problems
modal logic
data sets
computational cost
orders of magnitude
classical logic
data structure
search algorithm
computational complexity
description logics
benchmark datasets