Skip to content

Modal Logic S4F and The Minimal Knowledge Paradigm.

Grigori Schwarz, Miroslaw Truszczynski

VenueBTARK
Year1992
ProceedingsTARK

Browse the full TARK paper archive.