JOURNAL ARTICLE
面向传值进程的一阶模态逻辑的可判定性与模型检测
Year: 2003 Journal: Science in China Series E-Technological Sciences (in Chinese)
Keywords:
Medicine
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Related Documents
JOURNAL ARTICLE
布尔模态逻辑的泛模型与有限模型
Journal: Chinese Science Bulletin (Chinese Version) Year: 1997 Vol: 42 (18)Pages: 1944-1950
JOURNAL ARTICLE
算子模糊逻辑定量模型的局限性
Journal: Science in China Series E-Technological Sciences (in Chinese) Year: 1998
JOURNAL ARTICLE
关于开放逻辑的可判定性
Journal: Science in China Series F-Information Sciences (in Chinese) Year: 2009 Vol: 39 (7)Pages: 715-722
JOURNAL ARTICLE
一阶时态逻辑(带等词)的一个完备性定理
Journal: Science in China Series A-Mathematics Physics Astronomy & Technological Science (in Chinese) Year: 1985 Vol: 15 (1)Pages: 59-66