Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku

Correction to: Decidability of interpretability logics ILM_0 and ILW*

Neodlučive modalne logike

Bisimulations and bisimulation games between Verbrugge models

Hitna stanja kod demencije

First record of the dinoflagellate Tripos rotundatus in the Adriatic Sea

Alzheimerova demencija kao hitno stanje

A new notion of bisimulations of Verbrugge semantics

A good method of transforming Veltman into Verbrugge models

Jedan neobičan dokaz

n-bisimulations for generalised Veltman semantics

Interpretability logics and generalised veltman semantics

A W-flavoured series of interpretability principles

Lindströmov teorem za modalnu logiku

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

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

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

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)

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

Complexity of the interpretability logic IL

Modalna potpunost logika interpretabilnosti

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

Neprebrojivost skupa transcendentnih brojeva

Prebrojivi skupovi

Complexity of the interpretability logic IL

Metoda tableauxa za modalnu logiku

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

"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

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

Skupovne interpretacije modalne logike

Filtrations of generalized Veltman models

Topološka potpunost logika dokazivosti

Lambda račun kao osnova funkcijskog programiranja

A bisimulation characterization for interpretability logic

Logička analiza hibridnih sustava

Interpretability logic IL does not have finite subtree property

Some characterization and preservation theorems in modal logic

A note on normal form for closed fragment of system IL

Modal definability and preservation theorems in modal logic

Primijenjena logika

A note on ultraproducts of Veltman models

Složenost algoritama

Normal forms and finite model property for Interpretability logic

Bisimulation quotients of Veltman models

Bisimulations and bismulation quotients of generalized Veltman models

U potrazi za skupovima

Teorija skupova

Studij matematike u Zagrebu

Matematička logika

Izračunljivost

O aksiomu izbora, cipelama i čarapama

Zbirka zadataka iz teorije skupova

Bisimulations between generalized Veltman models and Veltman models

Nezavisnost i relativna konzistentnost aksioma izbora i hipoteze kontinuuma

Matematička logika 1

Bisimulacije

Sahlqvistove formule

Some notes on correspondence theory of the system IL

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

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

Some notes on generalized Veltman models

Neki osnovni pojmovi teorije skupova

Studij za nastavnika matematike na PMF-MO u Zagrebu

Studij za nastavnika matematike u Njemačkoj

Goedelovi teoremi nepotpunosti

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

Generalizirani Veltmanovi modeli

Some correspondences of principles in interpretability logic

Indirektni dokazi

Matematičke teorije u jezicima drugog reda

Goedelovi rezultati o aritmetici