Pregled bibliografske jedinice broj: 1047372
Correctness and strong completeness for logic of time and knowledge
Correctness and strong completeness for logic of time and knowledge // Handbook of the 6th World Congress and School on Universal Logic, UNILOG'2018 / Beziau, Jean-Yves ; Buchsbaum, Arthur ; Rey, Christophe (ur.).
Vichy, 2018. str. 451-452 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 1047372 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Correctness and strong completeness for logic of time and knowledge
Autori
Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Handbook of the 6th World Congress and School on Universal Logic, UNILOG'2018
/ Beziau, Jean-Yves ; Buchsbaum, Arthur ; Rey, Christophe - Vichy, 2018, 451-452
Skup
6th World Congress and School on Universal Logic (UNILOG 2018)
Mjesto i datum
Vichy, Francuska, 16.06.2018. - 26.06.2018
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
logic of time and knowledge, correctness and strong completeness
(logic of time and knowledge, correctness and strong completenes)
Sažetak
We introduce logic of time and knowledge and prove its correctness and strong completeness.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
