PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS
PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS
复制标题
适用于各种基于 FDE 的模态逻辑的证明系统
DOI：
10.1017/s1755020319000261
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Heinrich Wansing
中科院分区：
文献类型：
--
作者：
Sergey A. Drobyshevich;Heinrich Wansing
我们为各种基于fde的模态逻辑提出了新的证明系统。所考虑的系统包括Odintsov & Wansing（2010）和Odintsov & Wansing（2017）中引入的许多Belnapian模态逻辑，以及Goble（2006）中引入的具有强蕴涵的模态逻辑KN4。特别地，我们提供了逻辑的hilbert式公理系统。对于KN4，我们提供了一个fde式公理系统和一个可决序演算，并给出了一个收缩消去和切消去结果。
We present novel proof systems for various FDE-based modal logics. Among the systems considered are a number of Belnapian modal logics introduced in Odintsov & Wansing (2010) and Odintsov & Wansing (2017), as well as the modal logic KN4 with strong implication introduced in Goble (2006). In particular, we provide a Hilbert-style axiom system for the logic . For KN4 we provide both an FDE-style axiom system and a decidable sequent calculus for which a contraction elimination and a cut elimination result are shown.
登录
查看更多内容
用于某些副一致模态逻辑的 Tableau 系统
DOI：
--
发表时间：
2005
期刊：
Workshop on Logic, Language, Information and Computation
影响因子：
--
作者：
C. McGinnis
通讯作者：
C. McGinnis
次一致模态逻辑
DOI：
--
发表时间：
2011
期刊：
M4M/LAMAS
影响因子：
--
作者：
U. Rivieccio
通讯作者：
U. Rivieccio
结构证明理论
DOI：
10.1017/cbo9780511527340
发表时间：
2001
期刊：
ACM Transactions on Computational Logic (TOCL)
影响因子：
--
作者：
Sara Negri;J. Plato
通讯作者：
J. Plato
基本证明理论，第二版
DOI：
--
发表时间：
2000
期刊：
影响因子：
--
作者：
A. Troelstra;H. Schwichtenberg
通讯作者：
H. Schwichtenberg
解开基于 FDE 的并行一致模态逻辑
DOI：
--
发表时间：
2017
期刊：
Studia Logica: An International Journal for Symbolic Logic
影响因子：
--
作者：
S. Odintsov;H. Wansing
通讯作者：
H. Wansing