The Completeness of Medium Temporal Logic
Received:November 01, 1999  
Key Words: medium logic   model   completeness   medium temporal logic.  
Fund Project:
Author NameAffiliation
SHI Qing-sheng School of Science
NUT
Nanjing Jiangsu
China 
ZHANG Dong-mo Dept. of Computer Science and Engineering
NUAA
China 
ZHU Wu-jia Dept. of Computer Science and Engineering
NUAA
China 
Hits: 2655
Download times: 1344
Abstract:
      Following article[l],this paper continuously discusses the system of MTL(Medi-umTemporal Logic). In that one,we put emphsis on the discussion of formal system for MTL and only showed the soundness of it. Based on it,we present a model which is ordinal,transitive,and connected ,and prove completeness of the system of MTL.
Citation:
DOI:10.3770/j.issn:1000-341X.2002.03.031
View Full Text  View/Add Comment  
  Copyright © Journal of Mathematical Research with Applications
Sponsored by：Dalian University of Technology, China Society for Industrial and Applied Mathematics
Address：No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P. R. China , Postal code ：116024
Service Tel：86-411-84707392 Email：jmre@dlut.edu.cn
Designed by Beijing E-tiller Co.,Ltd.
Due to security factors, early browsers cannot log in. It is recommended to log in with IE10, IE11, Google, Firefox, and 360 new browsers.