The paper outlines an epistemic logic based on the proof theory of substructural 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., Článek nastiňuje epistemickou logiku založenou na důkazové teorii substrukturální logiky. Logika je formálním modelem víry, že i) je založena na pravdivých předpokladech (víra BTA) a ii) netrpí obvyklými vševědoucími vlastnostmi., and Igor Sedlár
The article deals with problems of standard epistemic logics with a special at- tention 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 substructural logics., Článek se zabývá problematikou standardní epistemické logiky se zvláštním zřetelem na kontext vědeckého uvažování a na problém logické vševědoucnosti. Autoři rozebírají různá řešení těchto problémů a navrhují nové řešení založené na struktuře substrukturální logiky., and Ondřej Majer ; Michal Peliš