DocumentCode
1849292
Title
Many-valued and annotated modal logics
Author
Akama, Seiki ; Abe, Jair Minoro
Author_Institution
Dept. of Inf. Syst., Teikyo Heisei Univ., Chiba, Japan
fYear
1998
fDate
27-29 May 1998
Firstpage
114
Lastpage
119
Abstract
Many-valued modal logics are of interest from theoretical and practical point of view. Unfortunately, there are no unified theoretical frameworks for many-valued modal logics. We sketch their foundations based on the so-called annotated logics. We give a Kripke semantics for annotated modal logics and prove the completeness theorem. We also discuss possible applications of annotated modal logics to AI
Keywords
artificial intelligence; multivalued logic; Kripke semantics; annotated logics; annotated modal logics; completeness theorem; many-valued logics; many-valued modal logics; unified theoretical frameworks; Multivalued logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International Symposium on
Conference_Location
Fukuoka
ISSN
0195-623X
Print_ISBN
0-8186-8371-6
Type
conf
DOI
10.1109/ISMVL.1998.679316
Filename
679316
Link To Document