The article deals with problems of standard epistemic logics with a special attention to the context of scientific reasoning and to the problem of logical omniscience. The authors discuss various solutions of these problems and propose a new one based on the framework of sub-structural logics.
The paper outlines an epistemic logic based on the proof theory of sub-structural logics. The logic is a formal model of belief that i) is based on true assumptions (BTA belief) and ii) does not suffer from the usual omniscience properties.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.