I am writing a paper in which I want to include complexity results for different modal logics and possibly add a reference to a specific paper.
At the moment I have the following:
K- no restrictions on the frame, NPComplete
T- reflexive, NPComplete
K4- transitive, PSpaceComplete
S4 and S4.3 also PSpaceComplete
S5- symmetric, transitive and reflexive, NPComplete.
I am not able to find any results regarding complexity of the following axioms for modal logic:
B- reflexive, symmetric
The above 3 modal logics are important for me and I really need the complexity results with a specific paper. If anyone could help me out here it would be great thanks.