Mladen Vuković

Available identifiers

zbMath Open vukovic.mladenMaRDI QIDQ190353

List of research outcomes

Publication	Date of Publication	Type
Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)	2024-11-15	Paper
An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics	2024-10-01	Paper
Bisimulations and bisimulation games between Verbrugge models	2023-09-15	Paper
Decidability of interpretability logics ILM0 and ILW*	2022-08-10	Paper
INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS	2021-01-29	Paper
An overview of Generalised Veltman Semantics	2020-07-09	Paper
Complexity of the interpretability logic IL	2019-11-04	Paper
A bisimulation characterization for interpretability logic	2019-01-08	Paper
Filtrations of generalized Veltman models	2016-10-24	Paper
https://portal.mardi4nfdi.de/entity/Q2940164	2015-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q5411616	2014-04-24	Paper
Some characterization and preservation theorems in modal logic	2012-10-11	Paper
A note on normal forms for the closed fragment of system IL	2012-09-18	Paper
Bisimulation quotients of Veltman models	2012-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q3015294	2011-07-12	Paper
Bisimulations and bisimulation quotients of generalized Veltman models	2010-12-14	Paper
Bisimulations between generalized Veltman models and Veltman models	2008-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q3433177	2007-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q3435248	2007-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q4821935	2004-10-22	Paper
Characteristic classes and bisimulations of generalized Veltman models	2001-07-26	Paper
The principles of interpretability	2001-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4241052	1999-11-29	Paper
Some correspondences of principles in interpretability logic	1997-09-29	Paper

Research outcomes over time

This page was built for person: Mladen Vuković