VLDB 2026 Research / reviewers in the wild / expert

Tin Perkov

dblp:118/7317 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
2since 2021 · last 2025
0000-0001-8916-0489ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 3 first-author · 2 since 2021
YearPublicationVenuePosition
2025 Transformation of any Verbrugge model to a bisimilar Veltman model
abstract
Abstract Veltman semantics is the basic Kripke-like semantics for interpretability logic. Verbrugge semantics is a generalization of Veltman semantics. An appropriate notion of bisimulation between a Verbrugge model and a Veltman model is developed in this paper. We show that each Verbrugge model can be transformed to a bisimilar Veltman model.
Tin Perkov
 Math. Struct. Comput. Sci.1
2023 Bisimulations Between Verbrugge Models and Veltman Models
Tin Perkov
 WoLLIC1
2012 Some characterization and preservation theorems in modal logic
Tin Perkov, Mladen Vukovic
 Ann. Pure Appl. Log.1