Authors: Marinković, Bojan 
Ognjanović, Zoran 
Glavan, Paola
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Correctness and strong completeness for logic of time and knowledge
First page: 451
Last page: 452
Conference: 6th World Congress and School on Universal Logic, UNILOG'2018, Vichy, France, June 16-26, 2018
Issue Date: 2018
Rank: M34
Publisher: Vichy University Campus, France

Show full item record

Page view(s)

checked on May 9, 2024

Google ScholarTM


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