Об одном частично интерпретируемом табличном исчислении.
Main Article Content
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.
Downloads
Download data is not yet available.
Article Details
How to Cite
Bezhanishvili M. Об одном частично интерпретируемом табличном исчислении. // Logicheskie Issledovaniya / Logical Investigations. 1998. VOL. 5. C. 230-240.
Issue
Section
Papers