On the Correspondence between Modal and Classical Logic: An Automated Approach
On the Correspondence between Modal and Classical Logic: An Automated Approach
复制标题
论模态逻辑与经典逻辑之间的对应关系：一种自动化方法
DOI：
--
复制
发表时间：
1993
影响因子：
0.7
通讯作者：
A. Szałas
中科院分区：
文献类型：
--
作者：
A. Szałas
当前的论文致力于对应理论中的自动化技术。我们处理的理论涉及寻找与命题相对应的经典一阶公理的问题......
The current paper is devoted to automated techniques in the correspondence theory. The theory we deal with concerns the problem of finding classical first-order axioms corresponding to propositiona ...