DocumentCode :
2455940
Title :
Medium modal logic-formal system and semantics
Author :
Jing, Zou ; Weide, Qui
Author_Institution :
Dept. of Comput. Eng., Shanghai Univ. of Technol., China
fYear :
1989
fDate :
29-31 May 1989
Firstpage :
20
Lastpage :
23
Abstract :
The authors construct a medium modal logic based on medium logic. They present three systems, MT, MS4, and MS5, which are, respectively, extensions of classical modal logic systems T, S4, and S5. The authors take medium set theory as a metalanguage to study semantics, proof soundness, and completeness
Keywords :
formal logic; MS4; MS5; MT; completeness; formal system; logic systems; medium modal logic; metalanguage; proof soundness; semantics; Acoustical engineering; Calculus; Logic; Set theory;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location :
Guangzhou
Print_ISBN :
0-8186-1947-3
Type :
conf
DOI :
10.1109/ISMVL.1989.37754
Filename :
37754
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2455940
بازگشت