Non-Normal Modal Logics: A Challenge to Proof Theory

被引：0
|
作者：
Negri, Sara [1 ]
机构：
[1] Univ Helsinki, Helsinki, Finland
来源：
LOGICA YEARBOOK 2016 | 2017年
关键词：
Neighbourhood semantics; Classical modal logics; Non-normal modal logics; Labelled sequent calculus; GEOMETRIC THEORIES; SEQUENT CALCULI; ELIMINATION; RULES;
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
A general procedure that follows the guidelines of inferentialism is presented for generating G3-style sequent calculi for non-normal modal logics on the basis of neighbourhood semantics.
引用
收藏
页码：125 / 140
页数：16
相关论文
共 50 条
12345