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 条

[41] GROUPS WITH ONE CONJUGACY CLASS OF NON-NORMAL SUBGROUPS - A SHORT PROOF
Mousavi, H.
BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, 2015, 41 (06) : 1493 - 1495
[42] Non-normal origin of modal instabilities in rotating plane shear flows
Jose, Sharath
Govindarajan, Rama
PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2020, 476 (2233):
[43] An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics
Takahiro Seki
Studia Logica, 2012, 100 : 1149 - 1174
[44] An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics
Seki, Takahiro
STUDIA LOGICA, 2012, 100 (06) : 1149 - 1174
[45] The Non-normal Abyss in Kleene's Computability Theory
Sanders, Sam
UNITY OF LOGIC AND COMPUTATION, CIE 2023, 2023, 13967 : 37 - 49
[46] THEORY OF LAMINAR FLAME PROPAGATION WITH NON-NORMAL DIFFUSION
JAIN, VK
KUMAR, RN
COMBUSTION AND FLAME, 1969, 13 (03) : 285 - &
[47] Clausal resolution for normal modal logics
Nalon, Claudia
Dixon, Clare
JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2007, 62 (3-4): : 117 - 134
[48] Rosser Provability and Normal Modal Logics
Kurahashi, Taishi
STUDIA LOGICA, 2020, 108 (03) : 597 - 617
[49] From classical to normal modal logics
Gasquet, O
Herzig, A
PROOF THEORY OF MODAL LOGIC, 1996, 2 : 293 - 311
[50] Rosser Provability and Normal Modal Logics
Taishi Kurahashi
Studia Logica, 2020, 108 : 597 - 617

← 1 2 3 4 5 →