Explicit Logics of Knowledge and Conservativity.

Melvin Fitting

Browse the full ISAIM paper archive.