izvor podataka: crosbi
!
Correctness and strong completeness for logic of time and knowledge (CROSBI ID 687432)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran
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
Podaci o odgovornosti
Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran
engleski
Correctness and strong completeness for logic of time and knowledge
We introduce logic of time and knowledge and prove its correctness and strong completeness.
logic of time and knowledge, correctness and strong completenes
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
451-452.
2018.
objavljeno
Podaci o matičnoj publikaciji
Handbook of the 6th World Congress and School on Universal Logic, UNILOG'2018
Beziau, Jean-Yves ; Buchsbaum, Arthur ; Rey, Christophe
Vichy:
Podaci o skupu
6th World Congress and School on Universal Logic (UNILOG 2018)
predavanje
16.06.2018-26.06.2018
Vichy, Francuska
Povezanost rada
Povezane osobe
Povezane ustanove