Creator |
|
Language |
|
Publisher |
|
|
Date |
|
Source Title |
|
Vol |
|
Issue |
|
First Page |
|
Last Page |
|
Publication Type |
|
Access Rights |
|
Crossref DOI |
|
Related DOI |
|
|
Related URI |
|
|
Relation |
|
|
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
|