Neodlučive modalne logike

Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku

Correction to: Decidability of interpretability logics ILM_0 and ILW*

Hitna stanja kod demencije

First record of the dinoflagellate Tripos rotundatus in the Adriatic Sea

Alzheimerova demencija kao hitno stanje

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

Interpretability logics and generalised veltman semantics

A W-flavoured series of interpretability principles

Lindströmov teorem za modalnu logiku

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)

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

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

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

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

Complexity of the interpretability logic IL

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

Modalna potpunost logika interpretabilnosti

Complexity of the interpretability logic IL

Metoda tableauxa za modalnu logiku

Prebrojivi skupovi

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

Neprebrojivost skupa transcendentnih brojeva

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

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

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

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

Decidability of interpretability logics ILM_0 and ILW*

Decidability and Complexity of Some Interpretability Logics

Skupovne interpretacije modalne logike

Topološka potpunost logika dokazivosti

Filtrations of generalized Veltman models

Lambda račun kao osnova funkcijskog programiranja

Logička analiza hibridnih sustava

A bisimulation characterization for interpretability logic

Interpretability logic IL does not have finite subtree property

Some characterization and preservation theorems in modal logic

Modal definability and preservation theorems in modal logic

A note on normal form for closed fragment of system IL

Bisimulation quotients of Veltman models

Primijenjena logika

Složenost algoritama

A note on ultraproducts of Veltman models

Normal forms and finite model property for Interpretability logic

Teorija skupova

Bisimulations and bismulation quotients of generalized Veltman models

U potrazi za skupovima

Studij matematike u Zagrebu

O aksiomu izbora, cipelama i čarapama

Izračunljivost

Matematička logika

Zbirka zadataka iz teorije skupova

Bisimulations between generalized Veltman models and Veltman models

Matematička logika 1

Nezavisnost i relativna konzistentnost aksioma izbora i hipoteze kontinuuma

Bisimulacije

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

Some notes on correspondence theory of the system IL

Sahlqvistove formule

Hennessy-Milner theorem for interpretability logic

Generalized Veltman Models with a Root

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

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

Matematička indukcija i Goodsteinov teorem

Neki osnovni pojmovi teorije skupova

Some notes on generalized Veltman models

Studij za nastavnika matematike na PMF-MO u Zagrebu

Studij za nastavnika matematike u Njemačkoj

Goedelovi teoremi nepotpunosti

Matematička logika 1

Interpretability logic and generalized Veltman models

The principles of interpretability

Characteristic classes and bisimulations of generalized Veltman models

Matematička logika u osnovnoj i srednjoj školi

Vode Neretve

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