Results
| Title: | Correctness and Strong Completeness for Logic of Time and Knowledge | Authors: | Marinković, Bojan B.  ; Ognjanović, Zoran D.  ; Paola Glavana |
Issue Date: | 2018 | Publication: | UNILOG 2018 | Publisher: | Universite Clermont Auvergne, Vichy, France | Type: | Conference Paper | ISBN: | 978-2-9544948-1-4  Search Idenfier |
Collation: | str. 432-433 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/3055 https://enauka.gov.rs/handle/123456789/278659 |
URL: | https://www.uni-log.org/vichy2018 | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.