Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku

Correction to: Decidability of interpretability logics ILM_0 and ILW*

Neodlučive modalne logike

Alzheimerova demencija kao hitno stanje

First record of the dinoflagellate Tripos rotundatus in the Adriatic Sea

Hitna stanja kod demencije

Bisimulations and bisimulation games between Verbrugge models

A new notion of bisimulations of Verbrugge semantics

A good method of transforming Veltman into Verbrugge models

n-bisimulations for generalised Veltman semantics

Jedan neobičan dokaz

A W-flavoured series of interpretability principles

Lindströmov teorem za modalnu logiku

Interpretability logics and generalised veltman semantics

Relation Between General Features and İncidence of IBD in Area Osijek-Baranja Country

Anemia In Patients With Inflammatory Bowel Diseases In Clinical Hospital Center Osijek

Age of Diagnosis and Anthropometric Data in Relation to İnflammatory Bowel Disease in the Area of Osijek-Baranja County in the Period 2000-2014

Natural course activity and complications of ulcerative colitis therapy compared to Chron's disease; results of the research study of inflammatory bowel disease in the area of Osijek-baranja county in the period 2000-2014

Complexity of the interpretability logic IL

Comparation of inflammatory bowel disease therapy with an emphasis on immune therapy; results of research study of inflammatory bowel disease in the Osijek-baranja county 2000-2014

Distribution of Patients Affected by İbds Based On Family Anamnesis for İbd, Malignancy of Gi Tract and Autoimmune Diseases in Osijek-Baranja County (2000-2014)

Neprebrojivost skupa transcendentnih brojeva

Metoda tableauxa za modalnu logiku

Prebrojivi skupovi

Modalna potpunost logika interpretabilnosti

Complexity of the interpretability logic IL

Rješavanje logičkih zadataka metodom semantičkih stabala

Postgraduate doctoral study of Biomedicine and health at the Faculty of Medicine Osijek – quality assessment.

Biokemijske laboratorijske pretrage upalnih bolesti crijeva iz uzorka pune krvi s osvrtom na laboratorijsku dijagnostiku anemije – prikaz projekta

"Step up" and "Top down" therapeutic approach in patients with inflammatory bowel disease

Decidability of interpretability logics ILM_0 and ILW*

Specificity of surgical therapy of inflammatory bowel disease considering previous conventional and combined conventional and biologic therapy

Decidability and Complexity of Some Interpretability Logics

Topološka potpunost logika dokazivosti

Skupovne interpretacije modalne logike

Lambda račun kao osnova funkcijskog programiranja

Filtrations of generalized Veltman models

Interpretability logic IL does not have finite subtree property

A bisimulation characterization for interpretability logic

Logička analiza hibridnih sustava

Modal definability and preservation theorems in modal logic

Some characterization and preservation theorems in modal logic

A note on normal form for closed fragment of system IL

Bisimulation quotients of Veltman models

Složenost algoritama

A note on ultraproducts of Veltman models

Normal forms and finite model property for Interpretability logic

Primijenjena logika

Bisimulations and bismulation quotients of generalized Veltman models

Teorija skupova

Studij matematike u Zagrebu

U potrazi za skupovima

O aksiomu izbora, cipelama i čarapama

Matematička logika

Izračunljivost

Bisimulations between generalized Veltman models and Veltman models

Zbirka zadataka iz teorije skupova

Matematička logika 1

Bisimulacije

Nezavisnost i relativna konzistentnost aksioma izbora i hipoteze kontinuuma

Some notes on correspondence theory of the system IL

A New MSc Curriculum in Computer Science and Mathematics at the University of Zagreb

Sahlqvistove formule

Hennessy-Milner theorem for interpretability logic

Matematička logika 1, treće dopunjeno i izmijenjeno izdanje

Generalized Veltman Models with a Root

Matematička indukcija i Goodsteinov teorem

A Note on Semantics of the Interpretability Logic IL(KW1)

Studij za nastavnika matematike u Njemačkoj

Neki osnovni pojmovi teorije skupova

Some notes on generalized Veltman models

Goedelovi teoremi nepotpunosti

Studij za nastavnika matematike na PMF-MO u Zagrebu

Interpretability logic and generalized Veltman models

Matematička logika 1

Characteristic classes and bisimulations of generalized Veltman models

The principles of interpretability

Vode Neretve

Matematička logika u osnovnoj i srednjoj školi

The interpretability logic of ILF

Some correspondences of principles in interpretability logic

Generalizirani Veltmanovi modeli

Indirektni dokazi

Matematičke teorije u jezicima drugog reda

Goedelovi rezultati o aritmetici