AXIOMATIZATION OF COMPUTER-ORIENTED MODEL LOGIC AND DECISION PROCEDURE - Collections

＜journal article＞
AXIOMATIZATION OF COMPUTER-ORIENTED MODEL LOGIC AND DECISION PROCEDURE

Creator	Creator Name Sawamura, Hajime 沢村, 一 Affiliation Affiliation Name Fundamental Information Unit, International Institute for Advanced Study of Social Information Science (IIAS-SIS), Fujitsu Ltd 富士通国際情報社会科学研究所
Language	English
Publisher	Research Association of Statistical Sciences
Publisher	統計科学研究会
Date	1985-03
Source Title	Bulletin of informatics and cybernetics
Vol	21
Issue	3/4
First Page	57
Last Page	66
Publication Type	Version of Record
Access Rights	open access
Crossref DOI	https://doi.org/10.5109/13367
Related DOI	Bulletin of informatics and cybernetics \|\| 21(3/4) \|\| p57-66
Related DOI	http://bic.math.kyushu-u.ac.jp/
Related URI	Bulletin of informatics and cybernetics \|\| 21(3/4) \|\| p57-66
Related URI	http://bic.math.kyushu-u.ac.jp/
Relation	Bulletin of informatics and cybernetics \|\| 21(3/4) \|\| p57-66
Relation	http://bic.math.kyushu-u.ac.jp/
Abstract	Modal logic has various applications in Computer Science. In this paper, an axiomatization of computer-oriented modal logic has been given through the modification of Gentzen-type axiomatization of mo...dal propositional logic S4. The characterization theorems of the axiom system, i. e, soundness, decidability were also proved. Finally, some provable and unprovable examples are shown together with the computer implementation of our proof procedure which is now being developed.show more

File	FileType	Size	Views	Description
p057	pdf	520 KB	319