1 paper
Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor
It is well known that modal satisfiability is PSPACE-complete (Ladner 1977). However, the complexity may decrease if we restrict the set of propositional operators used. Note that…