Об одном частично интерпретируемом табличном исчислении.

Abstract

The aim of the article is to construct and investigate a version of tableaux calculus for a partially interpreted first order predicate logic (with one epistemic modal operator). No pure classical tautologies are provable in it. Take into account the other its peculiarities, we will be able to obtain its type free extension and newly examine the logistic thesis this time on the ground of epistemic logic.