Mladen Vuković

From MaRDI portal
Person:190353

Available identifiers

zbMath Open vukovic.mladenMaRDI QIDQ190353

List of research outcomes





PublicationDate of PublicationType
Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)2024-11-15Paper
An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics2024-10-01Paper
Bisimulations and bisimulation games between Verbrugge models2023-09-15Paper
Decidability of interpretability logics ILM0 and ILW*2022-08-10Paper
INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS2021-01-29Paper
An overview of Generalised Veltman Semantics2020-07-09Paper
Complexity of the interpretability logic IL2019-11-04Paper
A bisimulation characterization for interpretability logic2019-01-08Paper
Filtrations of generalized Veltman models2016-10-24Paper
https://portal.mardi4nfdi.de/entity/Q29401642015-01-26Paper
https://portal.mardi4nfdi.de/entity/Q54116162014-04-24Paper
Some characterization and preservation theorems in modal logic2012-10-11Paper
A note on normal forms for the closed fragment of system IL2012-09-18Paper
Bisimulation quotients of Veltman models2012-05-30Paper
https://portal.mardi4nfdi.de/entity/Q30152942011-07-12Paper
Bisimulations and bisimulation quotients of generalized Veltman models2010-12-14Paper
Bisimulations between generalized Veltman models and Veltman models2008-08-15Paper
https://portal.mardi4nfdi.de/entity/Q34331772007-04-27Paper
https://portal.mardi4nfdi.de/entity/Q34352482007-04-25Paper
https://portal.mardi4nfdi.de/entity/Q48219352004-10-22Paper
Characteristic classes and bisimulations of generalized Veltman models2001-07-26Paper
The principles of interpretability2001-07-17Paper
https://portal.mardi4nfdi.de/entity/Q42410521999-11-29Paper
Some correspondences of principles in interpretability logic1997-09-29Paper

Research outcomes over time

This page was built for person: Mladen Vuković