The top documents tagged [s4 modal rules]
Constructive Modal Logics, Once Again
291 views