O djelatniku

dr. sc. Sebastijan Horvat

Zvanje: viši asistent
Lokacija: A306/III
Telefon:5897
E-mail: E-mail
URL službenih stranica na Webu: https://web.math.pmf.unizg.hr/~sehorva/
Zavod/služba: Zavod za matematičku logiku i računarstvo
Godina diplomiranja:2018.
Godina doktoriranja:2024.
Na zavodu od:2020.

Nastava

prijediplomski

diplomski

integrirani prijediplomski i diplomski

Konzultacije

  • u tjednima zimskog semestra ak. god. 2025./2026. izvan kolokvijskih i ispitnih tjedana:
    • utorak 17h i srijeda 12h
  • također u nekom drugom terminu po dogovoru mailom - uživo ili putem Zoom, Teams ili neke druge aplikacije

Znanstveni radovi (CroRIS)

A correspondence theorem for interpretability logic with respect to Verbrugge semantics

Horvat, Sebastijan; Perkov, Tin
izvorni znanstveni rad, 2025.
Logic journal of the igpl

Selection method for interpretability logic IL with respect to Verbrugge semantics

Horvat, Sebastijan; Perkov, Tin
izvorni znanstveni rad, 2025.
Rad Hrvatske akademije znanosti i umjetnosti. Razred za matematičke, fizičke i kemijske znanosti. Matematičke znanosti

Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku

Horvat, Sebastijan
doktorski rad, 2024.

Bisimulations and bisimulation games between Verbrugge models

Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
izvorni znanstveni rad, 2023.
Mathematical logic quarterly

Games and tree unravelings for a new notion of bisimulations of Verbrugge semantics

Horvat, Sebastijan
sažetak izlaganja sa skupa, World Logic Day 2023 Zagreb Book of Abstracts, 2023.

A new notion of bisimulations of Verbrugge semantics

Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
sažetak izlaganja sa skupa, 7th Croatian Mathematical Congress: Book of Abstract, 2022.

A good method of transforming Veltman into Verbrugge models

Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
sažetak izlaganja sa skupa, Logic and Applications 2022 Book of Abstracts, 2022.

Bisimulations for generalized Veltman semantics

Horvat, Sebastijan
sažetak izlaganja sa skupa, 6. Simpozij studenata doktorskih studija PMF-a KNJIGA SAŽETAKA, 2022.

Bisimulation games for (generalized) Veltman semantics

Horvat, Sebastijan
sažetak izlaganja sa skupa, Logic and Application 2021 Book of Abstracts, 2021.

n-bisimulations for generalised Veltman semantics

Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
sažetak izlaganja sa skupa, Logic and Applications 2021 Book of Abstracts, 2021.

Smart labels

Horvat, Sebastijan
sažetak izlaganja sa skupa, Logic and Applications 2019 Book of Abstracts, 2019.

Modalna potpunost logika interpretabilnosti

Horvat, Sebastijan
diplomski rad (sveučilišni), 2018.
Detaljno o radovima

Izabrani projekti

  • Izračunljive strukture, odlučivost i složenost (IP-2018-01-7459 ); izvor financiranja: Hrvatska zaklada za znanost; datum početka projekta: 1. 10. 2018.; datum završetka projekta: 30. 9. 2022. (vanjski suradnik)

  • Formalno rasuđivanje i semantike (UIP-05-2017-9219); izvor financiranja: Hrvatska zaklada za znanost; datum početka projekta: 1. 12. 2017.; datum završetka projekta: 1. 12. 2022. (vanjski suradnik)

Povijest zaposlenja

  • 2018 - 2020 Učiteljski fakultet Sveučilišta u Zagrebu