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 条

[1] On the Zeros of Some Well-Known Equations
Barsegian, Grigor
LOBACHEVSKII JOURNAL OF MATHEMATICS, 2024, 45 (08) : 3463 - 3473
[2] The well-known and less well-known benefits of vaccines
Michel, Jean-Pierre
AGING CLINICAL AND EXPERIMENTAL RESEARCH, 2020, 32 (08) : 1401 - 1404
[3] The well-known and less well-known benefits of vaccines
Jean-Pierre Michel
Aging Clinical and Experimental Research, 2020, 32 : 1401 - 1404
[4] SOME LESS WELL-KNOWN LAWS OF NATURE
DUNCAN, DA
CME-CHARTERED MECHANICAL ENGINEER, 1978, 25 (11): : 65 - 65
[5] SOME WELL-KNOWN PROBLEMS IMPLEMENTED ON LUCAS
不详
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 216 : 146 - 178
[6] SOME LESS WELL-KNOWN LEAD PIGMENTS
Sabin, A. H.
SCIENTIFIC MONTHLY, 1932, 34 : 31 - 34
[7] Information measures for some well-known families
Borzadaran, G. R. Mohtashami
Yari, G. H.
Pasha, E.
COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, 2007, 36 (1-4) : 669 - 677
[8] Matter collineations of some well-known spacetimes
Sharif, M
NUOVO CIMENTO DELLA SOCIETA ITALIANA DI FISICA B-GENERAL PHYSICS RELATIVITY ASTRONOMY AND MATHEMATICAL PHYSICS AND METHODS, 2001, 116 (06): : 673 - 686
[9] A journey along some well-known curves
Utpal Mukhopadhyay
Resonance, 2004, 9 (3) : 33 - 41
[10] MORPHINE - SOME PUZZLES OF WELL-KNOWN SUBSTANCE
KIYATKIN, EA
INTERNATIONAL JOURNAL OF NEUROSCIENCE, 1989, 45 (3-4) : 231 - 246

← 1 2 3 4 5 →