Sebastijan Horvat

According to our database¹, Sebastijan Horvat authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Non-wellfounded Proof Theory for Interpretability Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025

2024

Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku ; Bisimulations and bisimulation games for Verbrugge semantics.

[BibT_eX]

[DOI]

PhD thesis, 2024

2023

Bisimulations and bisimulation games between Verbrugge models.

[BibT_eX]

[DOI]

Math. Log. Q., May, 2023