Luka Mikec

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^\)'' Logic Journal of the IGPL*	2024-11-15	Paper
An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics	2024-10-01	Paper
Theory and application of labelling techniques for interpretability logics Mathematical Logic Quarterly	2023-09-12	Paper
Existential definability of modal frame classes Mathematical Logic Quarterly	2023-09-11	Paper
Complexity of the interpretability logics <b>IL</b>W and <b>IL</b>P Logic Journal of the IGPL	2023-02-16	Paper
Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^\) Logic Journal of the IGPL*	2022-08-10	Paper
Tableau-based translation from first-order logic to modal logic	2022-02-02	Paper
Interpretability logics and generalised Veltman semantics Journal of Symbolic Logic	2021-01-29	Paper
An overview of Generalised Veltman Semantics	2020-07-09	Paper
Assuring and critical labels for relations between maximal consistent sets for interpretability logics	2020-03-10	Paper
Complexity of the interpretability logic IL Logic Journal of the IGPL	2019-11-04	Paper

Research outcomes over time

This page was built for person: Luka Mikec