Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
Domagoj, Vrgoč ; Mladen Vuković
Bisimulation quotients of Veltman models // Reports on Mathematical Logic, 46 (2011), 59-73. doi: 10.4467/20842589RM.11.004.0282
Čačić, Vedran ; Vrgoč, Domagoj
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic // Studia Logica, 101 (2011), 1; 31-44. doi: 10.1007/s11225-011-9366-7
Čačić, Vedran ; Doko, Marko ; Horvat, Marko ; Vrgoč, Domagoj
Changing the order of summation for series beyond omega // The Bulletin of Symbolic Logic. ASL, 2010
