Two Themes in Modal Logic

被引：0

|

作者：

van der Hoek, Wiebe ^{[1
]}

机构：

[1] Univ Liverpool, Liverpool, Merseyside, England

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2014年 / 146期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页数：1

相关论文

共 50 条

[1] A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
Padmanabha, Anantha
Ramanujam, R.
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2023, 24 (04)
[2] Two variable fragment of term modal logic
Padmanabha, Anantha
Ramanujam, R.
Leibniz International Proceedings in Informatics, LIPIcs, 2019, 138
[3] Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic
Fitts, Jesse
Beisecker, David
TEACHING PHILOSOPHY, 2019, 42 (01) : 41 - 56
[4] Binary modal logic and unary modal logic
de Jongh, Dick
Maleki, Fatemeh Shirmohammadzadeh
LOGIC JOURNAL OF THE IGPL, 2024, 32 (03) : 420 - 441
[5] A two dimensional tense-modal sortal logic
Freund, Max A.
JOURNAL OF PHILOSOPHICAL LOGIC, 2007, 36 (05) : 571 - 598
[6] A Two Dimensional Tense-modal Sortal Logic
Max A. Freund
Journal of Philosophical Logic, 2007, 36 : 571 - 598
[7] The logic of historical necessity as founded on two-dimensional modal tense logic
Aqvist, L
JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (04) : 329 - 369
[8] The logic of historical necessity as founded on two-dimensional modal tense logic
Lennart Åqvist
Journal of Philosophical Logic, 1999, 28 (4) : 329 - 369
[9] A modal contrastive logic: The logic of 'but'
Meyer, JJC
vanderHoek, W
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1996, 17 (3-4) : 291 - 313
[10] Adaptive Logic as a Modal Logic
Allo, Patrick
STUDIA LOGICA, 2013, 101 (05) : 933 - 958

← 1 2 3 4 5 →