Mladen Vukovic

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 5

Top Topics

Proof Procedures

Computational Properties

Top Venues

EnviroInfo/ICT4S (2)

Publications

Sebastijan Horvat, Tin Perkov, Mladen Vukovic
Bisimulations and bisimulation games between Verbrugge models. Math. Log. Q. 69 (2) (2023)
Luka Mikec, Mladen Vukovic
Interpretability Logics and generalised Veltman Semantics. J. Symb. Log. 85 (2) (2020)
Luka Mikec, Fedor Pakhomov, Mladen Vukovic
Complexity of the interpretability logic IL. Log. J. IGPL 27 (1) (2019)
Luka Mikec, Tin Perkov, Mladen Vukovic
Decidability of interpretability logics ILM0 and ILW. Log. J. IGPL 25 (5) (2017)
Tin Perkov, Mladen Vukovic
Filtrations of generalized Veltman models. Math. Log. Q. 62 (4-5) (2016)
Thomas Schütz, Yves Andre, Mladen Vukovic
Transaction Analysis- A mechanism to detect and prevent VAT-fraud in the European Emissions Trading System (EU ETS). EnviroInfo/ICT4S (2) (2015)
Tin Perkov, Mladen Vukovic
A bisimulation characterization for interpretability logic. Log. J. IGPL 22 (6) (2014)
Tin Perkov, Mladen Vukovic
Some characterization and preservation theorems in modal logic. Ann. Pure Appl. Log. 163 (12) (2012)
Domagoj Vrgoc, Mladen Vukovic
Bisimulation quotients of Veltman models. Reports Math. Log. 46 (2011)
Domagoj Vrgoc, Mladen Vukovic
Bisimulations and bisimulation quotients of generalized Veltman models. Log. J. IGPL 18 (6) (2010)
Mladen Vukovic
Bisimulations between generalized Veltman models and Veltman models. Math. Log. Q. 54 (4) (2008)
Mladen Vukovic
The Principles of Interpretability. Notre Dame J. Formal Log. 40 (2) (1999)