E-LIB Suche - Ergebnisse für: Vukovic, Mladen

1

Correction to: Decidability of interpretability logics ILM0..:

Mikec, Luka ; Perkov, Tin ; Vukoviĉ, Mladen
Logic Journal of the IGPL. , 2023

Link: https://doi.org/10.1093/..

2

Bisimulations and bisimulation games between Verbrugge mode..:

Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
Mathematical Logic Quarterly. 69 (2023) 2 - p. 231-243 , 2023

Link: https://doi.org/10.1002/..

3

Acetylsalicylic-acid (ASA) regulation of osteo/odontogenic ..:

Vukovic, Mladen ; Lazarevic, Milos ; Mitic, Dijana...
Archives of Oral Biology. 144 (2022) - p. 105564 , 2022

Link: https://doi.org/10.1016/..

4

INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS:

MIKEC, LUKA ; VUKOVIĆ, MLADEN
The Journal of Symbolic Logic. 85 (2020) 2 - p. 749-772 , 2020

Link: https://doi.org/10.1017/..

5

Complexity of the interpretability logic IL:

Mikec, Luka ; Pakhomov, Fedor ; Vuković, Mladen
Logic Journal of the IGPL. , 2018

Link: https://doi.org/10.1093/..

6

Decidability of interpretability logics ILM0 and ILW*:

Mikec, Luka ; Perkov, Tin ; Vuković, Mladen
Logic Journal of the IGPL. 25 (2017) 5 - p. 758-772 , 2017

Link: https://doi.org/10.1093/..

7

Filtrations of generalized Veltman models:

Perkov, Tin ; Vuković, Mladen
Mathematical Logic Quarterly. 62 (2016) 4-5 - p. 412-419 , 2016

Link: https://doi.org/10.1002/..

8

Some characterization and preservation theorems in modal lo..:

Perkov, Tin ; Vuković, Mladen
Annals of Pure and Applied Logic. 163 (2012) 12 - p. 1928-1939 , 2012

Link: https://doi.org/10.1016/..

9

Bisimulations between generalized Veltman models and Veltma..:

Vuković, Mladen
MLQ. 54 (2008) 4 - p. 368-373 , 2008

Link: https://doi.org/10.1002/..

10

Studiji računarstva na FER-u i PMF-u - sličnosti i razlike:

Hren, Miho ; Vuković, Mladen
https://hrcak.srce.hr/308106. , 2023

Link: https://hrcak.srce.hr/30..

11

Goedelovi teoremi nepotpunosti -- 90 godina poslije:

Vuković, Mladen ; Gregorek, Petar
https://hrcak.srce.hr/307614. , 2022

Link: https://hrcak.srce.hr/30..

12

Sokoban je NP --težak:

Požgaj, Stjepan ; Vuković, Mladen
https://hrcak.srce.hr/307609. , 2022

Link: https://hrcak.srce.hr/30..

13

An overview of Generalised Veltman Semantics:

Joosten, Joost J ; Rovira, Jan Mas ; Mikec, Luka.
http://arxiv.org/abs/2007.04722. , 2020

Link: http://arxiv.org/abs/200..

14

Jedan neobičan dokaz:

Jambriško, Petra ; Vuković, Mladen
https://hrcak.srce.hr/253523. , 2020

Link: https://hrcak.srce.hr/25..

15

Analiza poremećaja i dijagnostičkih odrednica na bolničkome..:

Vuković, Mladen
https://zir.nsk.hr/islandora/object/mefos:989. , 2019

Link: https://zir.nsk.hr/islan..