Alzheimer's dementia as an emergency

Emergency situations in dementia

First record of the dinoflagellate Tripos rotundatus in the Adriatic Sea

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

An unusual proof

A W-flavoured series of interpretability principles

Interpretability logics and generalised veltman semantics

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

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

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

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)

Complexity of the interpretability logic IL

Countable sets

Uncountability of the Transcendental numbers

Solving logical tasks by using semantical trees

Biochemical laboratory tests for inflammatory bowel disease from a whole blood sample with a focus on laboratory diagnosis of anemia - project overview

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

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

Decidability and Complexity of Some Interpretability Logics

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

Decidability of interpretability logics ILM_0 and ILW*

Lambda calculus as a base of functional programming

Filtrations of generalized Veltman models

Interpretability logic IL does not have finite subtree property

Logical analysis hybrid systems

A bisimulation characterization for interpretability logic

A note on normal form for closed fragment of system IL

Some characterization and preservation theorems in modal logic

Bisimulation quotients of Veltman models

Complexity

A note on ultraproducts of Veltman models

Applied Logic

Set theory

We are looking for sets

Study of mathematics in Zagreb

Bisimulations and bismulation quotients of generalized Veltman models

On axiom of choice, shoes and socks

Computability

Mathematical Logic

Bisimulations between generalized Veltman models and Veltman models

Problems in Set Theory

Independence and relative consistency of Axiom of Choice and Continuum Hypothesis

Mathematical Logic 1

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

Mathematical Logic 1

Generalized Veltman Models with a Root

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

Mathematical Induction and Goodstein Theorem

Goedel's incompleteness theorems

Study for mathematics teacher in Germany

Some notes on generalized Veltman models

Some basic notions of set theory

Study for mathematics teacher in Zagreb

Mathematical Logic 1

Interpretability logic and generalized Veltman models

The principles of interpretability

Characteristic classes and bisimulations of generalized Veltman models

Mathematical logic in primary and secondary school

The Neretva River

The interpretability logic of ILF

Some correspondences of principles in interpretability logic

Indirect proofs

Mathematical theories in second order languages