| Authors: | Ognjanović, Zoran | Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | A Proof Procedure for Modal Logic S4 | First page: | 10 | Last page: | 13 | Conference: | XIII International Conference "Information Techology Interface" ITI-1991, Cavtat, 10-13. VI 1991 | Issue Date: | 1991 | Rank: | M33 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.