Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Mikec, Luka"'
We introduce a modal logic FIL for Feferman interpretability. In this logic both the provability modality and the interpretability modality can come with a label. This label indicates that in the arithmetical interpretation the axiom set of the under
Externí odkaz:
http://arxiv.org/abs/2406.18506
Interpretability logics are endowed with relational semantics \`a la Kripke: Veltman semantics. For certain applications though, this semantics is not fine-grained enough. Back in 1992, in the research group of de Jongh, the notion of generalised Vel
Externí odkaz:
http://arxiv.org/abs/2007.04722
The notion of a critical successor [dJV90] has been central to almost all modal completeness proofs in interpretability logics. In this paper we shall work with an alternative notion, that of an assuring successor. As we shall see, this will enable m
Externí odkaz:
http://arxiv.org/abs/2003.04623
Autor:
Mikec, Luka, Vuković, Mladen
We obtain modal completeness of the interpretability logics ILP_0 and ILR w.r.t. generalized Veltman semantics. Our proofs are based on the notion of smart (full) labels. We also give shorter proofs of completeness w.r.t. generalized semantics for ma
Externí odkaz:
http://arxiv.org/abs/1907.03849
We show that the decision problem for the basic system of interpretability logic IL is PSPACE-complete. For this purpose we present an algorithm which uses polynomial space with respect to the complexity of a given formula. The existence of such algo
Externí odkaz:
http://arxiv.org/abs/1710.05599
Autor:
Perkov, Tin, Mikec, Luka
Publikováno v:
Reports on Mathematical Logic. (56):57-74
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1012105
Autor:
Mikec, Luka1 (AUTHOR) lmikec@math.hr
Publikováno v:
Logic Journal of the IGPL. Feb2023, Vol. 31 Issue 1, p194-213. 20p.
Publikováno v:
Logic Journal of the IGPL. Oct2024, Vol. 32 Issue 5, p936-937. 2p.
Autor:
Mikec, Luka
Publikováno v:
Logic Journal of the IGPL. 31:194-213
The interpretability logic ILP is the interpretability logic of all sufficiently strong $\varSigma _1$-sound finitely axiomatised theories, such as the Gödel-Bernays set theory. The interpretability logic IL is a strict subset of the intersection of
Publikováno v:
Logic Journal of the IGPL; Oct2024, Vol. 32 Issue 5, p936-937, 2p