Mladen Vukovic

According to our database, Mladen Vukovic authored at least 12 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Bisimulations and bisimulation games between Verbrugge models.

Sebastijan Horvat, Tin Perkov, Mladen Vukovic

Math. Log. Q., May, 2023

2020

Interpretability Logics and generalised Veltman Semantics.

Luka Mikec, Mladen Vukovic

J. Symb. Log., 2020

2019

Complexity of the interpretability logic IL.

Luka Mikec, Fedor Pakhomov, Mladen Vukovic

Log. J. IGPL, 2019

2017

Decidability of interpretability logics ILM0 and ILW.

Luka Mikec, Tin Perkov, Mladen Vukovic

Log. J. IGPL, 2017

2016

Filtrations of generalized Veltman models.

Tin Perkov, Mladen Vukovic

Math. Log. Q., 2016

2015

Transaction Analysis- A mechanism to detect and prevent VAT-fraud in the European Emissions Trading System (EU ETS).

Thomas Schütz, Yves Andre, Mladen Vukovic

Proceedings of the 29th International Conference on Environmental Informatics, 2015

2014

A bisimulation characterization for interpretability logic.

Tin Perkov, Mladen Vukovic

Log. J. IGPL, 2014

2012

Some characterization and preservation theorems in modal logic.

Tin Perkov, Mladen Vukovic

Ann. Pure Appl. Log., 2012

2011

Bisimulation quotients of Veltman models.

Domagoj Vrgoc, Mladen Vukovic

Reports Math. Log., 2011

2010

Bisimulations and bisimulation quotients of generalized Veltman models.

Domagoj Vrgoc, Mladen Vukovic

Log. J. IGPL, 2010

2008

Bisimulations between generalized Veltman models and Veltman models.

Mladen Vukovic

Math. Log. Q., 2008

1999

The Principles of Interpretability.

Mladen Vukovic

Notre Dame J. Formal Log., 1999