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)

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

A correspondence theorem for interpretability logic with respect to Verbrugge semantics

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

Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku

Horvat, Sebastijan
doktorski rad, 2024.

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.

Bisimulations and bisimulation games between Verbrugge models

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

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.

Bisimulations for generalized Veltman semantics

Horvat, Sebastijan
sažetak izlaganja sa skupa, 6. Simpozij studenata doktorskih studija PMF-a KNJIGA SAŽETAKA, 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.

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