The following pages link to (Q5465444):
Displaying 7 items.
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- A subset-matching size-bounded cache for testing satisfiability in modal logics (Q2349812) (← links)
- (Q2721199) (← links)
- On the size of shortest modal descriptions (Q2904050) (← links)
- PSPACE bounds for rank-1 modal logics (Q2946571) (← links)
- (Q4941911) (← links)