Luka Mikec

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 8

Top Topics

Valued Semantics

High Level Features

Semantic Attributes

Top Venues

Bull. Symb. Log.

Publications

Luka Mikec
Complexity of the interpretability logics ILW and ILP. Log. J. IGPL 31 (1) (2023)
Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec
Theory and application of labelling techniques for interpretability logics. Math. Log. Q. 68 (3) (2022)
Luka Mikec
On Logics and Semantics for Interpretability. Bull. Symb. Log. 28 (2) (2022)
Tin Perkov, Luka Mikec
Tableau-based translation from first-order logic to modal logic. Reports Math. Log. 56 (2021)
Luka Mikec, Mladen Vukovic
Interpretability Logics and generalised Veltman Semantics. J. Symb. Log. 85 (2) (2020)
Tin Perkov, Luka Mikec
Existential definability of modal frame classes. Math. Log. Q. 66 (3) (2020)
Luka Mikec, Fedor Pakhomov, Mladen Vukovic
Complexity of the interpretability logic IL. Log. J. IGPL 27 (1) (2019)
Luka Mikec, Tin Perkov, Mladen Vukovic
Decidability of interpretability logics ILM0 and ILW. Log. J. IGPL 25 (5) (2017)
Marina Ivasic-Kos, Miran Pobar, Luka Mikec
Movie posters classification into genres based on low-level features. MIPRO (2014)