Explicit Logics of Knowledge and Conservativity

Melvin Fitting. Explicit Logics of Knowledge and Conservativity. In International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008), Fort Lauderdale, Florida, USA, January 2-4, 2008. 2008. [doi]

Abstract

Abstract is missing.