FILTRATION OF SOME WELL-KNOWN MODAL LOGICS

被引：0

作者：

Oner, Tahsin ^{[1
]}

机构：

[1] Ege Univ, Dept Math, TR-35100 Izmir, Turkey

来源：

PROCEEDINGS OF THE INSTITUTE OF MATHEMATICS AND MECHANICS | 2005年 / 22卷 / 30期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this paper it is shown that some well-known monomodal logics are decidable by using filtration concept inspired mostly from [5]. Multimodal logics such as dynamic logic and temporal logic are mostly subjects of modern computer sciences and their decidability can be checked by the same technique of filtration [1].

引用

页码：103 / 116

页数：14

共 50 条

[41] Energy contents of some well-known solutions in teleparallel gravity
Sharif, M.
Jawad, Abdul
ASTROPHYSICS AND SPACE SCIENCE, 2011, 331 (01) : 257 - 263
[42] K-THEORY OF SOME MORE WELL-KNOWN SPACES
HODGKIN, L
SNAITH, V
ILLINOIS JOURNAL OF MATHEMATICS, 1978, 22 (02) : 270 - 278
[43] Accretion onto some well-known regular black holes
Jawad, Abdul
Shahzad, M. Umair
EUROPEAN PHYSICAL JOURNAL C, 2016, 76 (03):
[44] Accretion onto some well-known regular black holes
Abdul Jawad
M. Umair Shahzad
The European Physical Journal C, 2016, 76
[45] On the rings of the Morita context which are some well-known orders
Marubayashi, H
Zhang, Y
Yang, P
COMMUNICATIONS IN ALGEBRA, 1998, 26 (05) : 1429 - 1444
[46] WELL-KNOWN TRADEMARKS IN BRAZIL
ARRUDA, MJG
IIC-INTERNATIONAL REVIEW OF INDUSTRIAL PROPERTY AND COPYRIGHT LAW, 1981, 12 (04): : 524 - 525
[47] ON A WELL-KNOWN IMPROPER INTEGRAL
HARUKI, H
AMERICAN MATHEMATICAL MONTHLY, 1967, 74 (07): : 846 - &
[48] The Myth of the Well-Known Client
Lakeman, Richard
ISSUES IN MENTAL HEALTH NURSING, 2019, 40 (02) : 191 - 193
[49] A WELL-KNOWN PHALLACY RESURRECTED
HOBBS, JT
BRITISH JOURNAL OF HOSPITAL MEDICINE, 1989, 41 (03): : 299 - 299
[50] A WELL-KNOWN EIGENVALUE PROBLEM
HERSH, R
AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (02): : 190 - &

← 1 2 3 4 5 →