Skip to content

Latest commit

 

History

History
55 lines (28 loc) · 2.84 KB

chronology.md

File metadata and controls

55 lines (28 loc) · 2.84 KB
Raw

CompStruct project — results

Publications

Papers in scientific journals

  1. E. Čičković, Z. Iljazović, L. Validžić: Chainable and circularly chainable semicomputable sets in computable topological spaces, Archive for Mathematical Logic, 2019 (13 pages)

  2. Z. Iljazović: Computability of graphs, to appear in Mathematical Logic Quarterly (15 pages)

  3. L. Mikec, M. Vuković: Interpretability logics and generalised Veltman semantics, The Journal of Symbolic Logic, 2020 (24 pages)

  4. T. Perkov, L. Mikec: Existential definability of modal frame classes, Mathematical Logic Quarterly, 2020 (10 pages)

  5. T. Perkov, L. Mikec: Tableau-based translation from first-order logic to modal logic, Reports on Mathematical Logic, 2021 (18 pages)

  6. E. Goris, M. Bílková, J. J. Joosten, L. Mikec: Theory and application of labelling techniques for interpretability logics, Mathematical Logic Quarterly, 2022 (23 pages)

  7. L. Mikec: Complexity of the interpretability logics ILW and ILP. Logic Journal of the IGPL, 2022 (20 pages)

Preprints

  1. Z. Iljazović: Computability in a non-Euclidean plane, 2019 (25 pages)

  2. M. Horvat, Z. Iljazović, B. Pažek: Computability of pseudo-cubes, 2019 (25 pages)

  3. M. Čelar, Z. Iljazović: Computability of products of chainable continua, 2019 (18 pages)

  4. K. Burnik, Z. Iljazović: Dense computability structures, 2019 (32 pages)

  5. V. Čačić, E. Kostylev, J. Reutter, D. Vrgoč: Using XPath to Reason over DL Ontologies, 2020 (35 pages)

Dissemination

Talks at conferences

  1. Konrad Burnik (with Zvonko Iljazović): Density of maximal computability structures, Sixteenth International Conference on Computability and Complexity in Analysis (July 8–11 2019, Zagreb)

  2. Matea Jelić (with Zvonko Iljazović): Computability of spaces with attached arcs, Sixteenth International Conference on Computability and Complexity in Analysis (July 8–11 2019, Zagreb)

  3. Zvonko Iljazović: Computable type of certain polyhedra, Computability in Europe 2019 (July 15–19 2019, Durham)

  4. Vedran Čačić: Complexity of some fragments of description logic, Logic Colloquium 2019 (August 11–18 2019, Prague)

  5. Marko Horvat: Rearranging absolutely convergent well-ordered series in Banach spaces, Logic Colloquium 2019 (August 11–18 2019, Prague)

  6. Luka Mikec (with J. J. Joosten and M. Vuković): A W-flavoured series of interpretability principles, Short Papers, Advances in Modal Logic 2020 (August 24-29 2020, Helsinki)

Book chapters

  1. J. J. Joosten, J. Mas Rovira, L. Mikec, M. Vuković: An overview of generalised Veltman semantics, Dick de Jongh on Intuitionistic and Provability Logic, Springer, 2021

Organized meetings

  1. Sixteenth International Conference on Computability and Complexity in Analysis (July 8–11 2019, Zagreb)