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

Page view(s)

21
checked on Apr 8, 2022

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.