Pregled po CROSBI profilu: Sebastijan Horvat (CROSBI Profil: 35352, MBZ: 373122)

1.

Horvat, Sebastijan

Games and tree unravelings for a new notion of bisimulations of Verbrugge semantics // World Logic Day 2023 Zagreb Book of Abstracts
Zagreb, Hrvatska, 2023. str. 5-5 (predavanje, sažetak, znanstveni)

vedgar.github.io vedgar.github.io

2.

Horvat, Sebastijan; Perkov, Tin; Vuković, Mladen

A new notion of bisimulations of Verbrugge semantics // Abstracts 7th Croatian Mathematical Congress
Split, Hrvatska, 2022. str. 44-45 (predavanje, sažetak, znanstveni)

3.

Horvat, Sebastijan; Perkov, Tin; Vuković, Mladen

A good method of transforming Veltman into Verbrugge models // Logic and Applications 2022 Book of Abstracts
Dubrovnik, Hrvatska, 2022. str. 22-23 (predavanje, sažetak, znanstveni)

web.math.pmf.unizg.hr imft.ftn.uns.ac.rs iuc.hr

4.

Horvat, Sebastijan

Bisimulations for generalized Veltman semantics // 6. Simpozij studenata doktorskih studija PMF-a KNJIGA SAŽETAKA
Zagreb, Hrvatska, 2022. str. 184-185 (poster, sažetak, znanstveni)

repozitorij.pmf.unizg.hr www.pmf.unizg.hr

5.

Horvat, Sebastijan

Bisimulation games for (generalized) Veltman semantics // Logic and Application 2021 Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 78-79 (predavanje, sažetak, znanstveni)

www.google.com formals.ufzg.hr www.illc.uva.nl

6.

Horvat, Sebastijan; Perkov, Tin; Vuković, Mladen

n-bisimulations for generalised Veltman semantics // Logic and Applications 2021 Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 31-32 (predavanje, sažetak, znanstveni)

www.google.com formals.ufzg.hr www.illc.uva.nl

7.

Horvat, Sebastijan

Smart labels // Logic and Applications 2019 Book of Abstracts
Dubrovnik, Hrvatska, 2019. str. 19-20 (predavanje, sažetak, znanstveni)

8.

Horvat, Sebastijan

Modalna potpunost logika interpretabilnosti, 2018., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb

urn.nsk.hr