Luka Mikec

Available identifiers

zbMath Open mikec.lukaMaRDI QIDQ5025699

List of research outcomes

Publication	Date of Publication	Type
Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)	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	2023-09-12	Paper
Existential definability of modal frame classes	2023-09-11	Paper
Complexity of the interpretability logics ILW and ILP	2023-02-16	Paper
Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)	2022-08-10	Paper
Tableau-based translation from first-order logic to modal logic	2022-02-02	Paper
Interpretability logics and generalised Veltman semantics	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	2019-11-04	Paper

Research outcomes over time

This page was built for person: Luka Mikec