| 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
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.