A System of Temporal Logic Based on Medium Logic
  
Key Words: medium logic   temporal logic   proposition logic   medium temporal logic.  
Fund Project:
Author NameAffiliation
Shi Qingsheng Department of Computer Science and Engineering
NUAA Nanjing
210016；Department of Basic Sciences
NACEI Nanjing
210009 
Zhang Dongmo Department of Computer Science and Engineering
NUAA Nanjing
210016；State Key Laboratory for Novd Software Technology, Nanjing Uninersity, Nanjing 210008 
Zhu Wujia Department of Computer Science and Engineering
NUAA Nanjing
210016；State Key Laboratory for Novd Software Technology, Nanjing Uninersity, Nanjing 210008 
Hits: 2468
Download times: 1075
Abstract:
      This paper presents a system of MTL (Medium Temporal Logic) based on the medium logic. Emphasis is given on the formal system of MTL, by discussing its semantics and proving the soundness: Finally,we compare the system of MTL with that of classical temporal propositional logic,pointing out that it is a subsystem of MTL.
Citation:
DOI:10.3770/j.issn:1000-341X.1998.03.027
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.