Search




Research outputs

Correctness and Strong Completeness for Logic of Time and Knowledge   [2018]

Marinković, Bojan B. ; Ognjanović, Zoran D.  ; Paola Glavana

Filters

By type