Mladen Vuković

MaRDI QIDQ190353zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\) Logic Journal of the IGPL	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 Mathematical Logic Quarterly	2023-09-15	Paper
Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\) Logic Journal of the IGPL	2022-08-10	Paper
Interpretability logics and generalised Veltman semantics Journal of Symbolic Logic	2021-01-29	Paper
An overview of Generalised Veltman Semantics	2020-07-09	Paper
Complexity of the interpretability logic IL Logic Journal of the IGPL	2019-11-04	Paper
A bisimulation characterization for interpretability logic Logic Journal of the IGPL	2019-01-08	Paper
Filtrations of generalized Veltman models Mathematical Logic Quarterly (MLQ)	2016-10-24	Paper
Interpretability logic IL does not have finite subtree property	2015-01-26	Paper
Mathematical logic	2014-04-24	Paper
Some characterization and preservation theorems in modal logic Annals of Pure and Applied Logic	2012-10-11	Paper
A note on normal forms for the closed fragment of system IL Mathematical Communications	2012-09-18	Paper
Bisimulation quotients of Veltman models Reports on Mathematical Logic	2012-05-30	Paper
A note on ultraproducts of Veltman models	2011-07-12	Paper
Bisimulations and bisimulation quotients of generalized Veltman models Logic Journal of the IGPL	2010-12-14	Paper
Bisimulations between generalized Veltman models and Veltman models MLQ	2008-08-15	Paper
scientific article; zbMATH DE number 5147176 (Why is no real title available?)	2007-04-27	Paper
Hennessy-Milner theorem for interpretability logic	2007-04-25	Paper
scientific article; zbMATH DE number 2109319 (Why is no real title available?)	2004-10-22	Paper
Characteristic classes and bisimulations of generalized Veltman models Grazer Mathematische Berichte	2001-07-26	Paper
The principles of interpretability Notre Dame Journal of Formal Logic	2001-07-17	Paper
scientific article; zbMATH DE number 1281983 (Why is no real title available?)	1999-11-29	Paper
Some correspondences of principles in interpretability logic Glasnik Matematički. Serija III	1997-09-29	Paper

Research outcomes over time

This page was built for person: Mladen Vuković