1 paper
Sanderson Molick, Vaishak Belle
The paper introduces a basic logic of knowledge and abduction by extending Levesque logic of only-knowing with an abduction modal operator defined via the combination of basic epis…