Semantics for "Enough-Certainty" and Fitting's Embedding of Classical Logic in S4.

Gergei Bana, Mitsuhiro Okada

Browse the full CSL paper archive.