Modal Logic S4F and The Minimal Knowledge Paradigm.

Grigori Schwarz Miroslaw Truszczynski Modal Logic S4F and The Minimal Knowledge Paradigm. 184-198 1992 conf/tark/1992 TARK db/conf/tark/tark1992.html#SchwarzT92