Mladen Vukovic

13 papers Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Correction to: Decidability of interpretability logics IL <tt>M</tt>0 and IL <tt>W</tt>.
Log. J. IGPL
Luka Mikec, Tin Perkov, Mladen Vukovic
2023 J jnl
Bisimulations and bisimulation games between Verbrugge models.
Math. Log. Q.
Sebastijan Horvat, Tin Perkov, Mladen Vukovic
2020 J jnl
Interpretability Logics and generalised Veltman Semantics.
J. Symb. Log.
Luka Mikec, Mladen Vukovic
2019 J jnl
Complexity of the interpretability logic IL.
Log. J. IGPL
Luka Mikec, Fedor Pakhomov, Mladen Vukovic
2017 J jnl
Decidability of interpretability logics ILM0 and ILW.
Log. J. IGPL
Luka Mikec, Tin Perkov, Mladen Vukovic
2016 J jnl
Filtrations of generalized Veltman models.
Math. Log. Q.
Tin Perkov, Mladen Vukovic
2015 — conf
Transaction Analysis- A mechanism to detect and prevent VAT-fraud in the European Emissions Trading System (EU ETS).
EnviroInfo/ICT4S (2)
Thomas Schütz, Yves Andre, Mladen Vukovic
2014 J jnl
A bisimulation characterization for interpretability logic.
Log. J. IGPL
Tin Perkov, Mladen Vukovic
2012 J jnl
Some characterization and preservation theorems in modal logic.
Ann. Pure Appl. Log.
Tin Perkov, Mladen Vukovic
2011 J jnl
Bisimulation quotients of Veltman models.
Reports Math. Log.
Domagoj Vrgoc, Mladen Vukovic
2010 J jnl
Bisimulations and bisimulation quotients of generalized Veltman models.
Log. J. IGPL
Domagoj Vrgoc, Mladen Vukovic
2008 J jnl
Bisimulations between generalized Veltman models and Veltman models.
Math. Log. Q.
Mladen Vukovic
1999 J jnl
The Principles of Interpretability.
Notre Dame J. Formal Log.
Mladen Vukovic