SYSTEMS OF MODAL LOGIC FOR IMPOSSIBLE WORLDS

被引：0

作者：

MORGAN, CG

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：444 / &

共 50 条

[31] Impossible possible worlds
Raclavsky, J
FILOSOFICKY CASOPIS, 2000, 48 (06): : 1035 - 1036
[32] MODAL EXTENSION OF LOGIC PROGRAMMING SYSTEMS
POZHARSKII, AV
CYBERNETICS AND SYSTEMS ANALYSIS, 1993, 29 (06) : 944 - 947
[33] ON SYSTEMS OF MODAL LOGIC WITH PROVABILITY INTERPRETATIONS
BOOLOS, G
THEORIA, 1980, 46 : 7 - 18
[34] Proof Systems for a Godel Modal Logic
Metcalfe, George
Olivetti, Nicola
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 265 - +
[35] SEQUENT-SYSTEMS FOR MODAL LOGIC
DOSEN, K
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 689 - 689
[36] Deep sequent systems for modal logic
Bruennler, Kai
ARCHIVE FOR MATHEMATICAL LOGIC, 2009, 48 (06) : 551 - 577
[37] Modular Sequent Systems for Modal Logic
Bruennler, Kai
Strassburger, Lutz
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 152 - +
[38] Deep sequent systems for modal logic
Kai Brünnler
Archive for Mathematical Logic, 2009, 48 : 551 - 577
[39] SEQUENT-SYSTEMS FOR MODAL LOGIC
DOSEN, K
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) : 149 - 168
[40] MODAL LOGIC - THE LEWIS-MODAL SYSTEMS - ZEMAN,JJ
MORTENSEN, C
AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1975, 53 (01) : 97 - 98