Order:
  1.  4
    On Logics and Semantics for Interpretability.Luka Mikec - 2022 - Bulletin of Symbolic Logic 28 (2):265-265.
  2.  10
    Interpretability Logics and Generalised Veltman Semantics.Luka Mikec & Mladen Vuković - 2020 - Journal of Symbolic Logic 85 (2):749-772.
    We obtain modal completeness of the interpretability logics IL $\!\!\textsf {P}_{\textsf {0}}$ and ILR w.r.t. generalised Veltman semantics. Our proofs are based on the notion of full labels [2]. We also give shorter proofs of completeness w.r.t. the generalised semantics for many classical interpretability logics. We obtain decidability and finite model property w.r.t. the generalised semantics for IL $\textsf {P}_{\textsf {0}}$ and ILR. Finally, we develop a construction that might be useful for proofs of completeness of extensions of ILW w.r.t. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  10
    Complexity of the Interpretability Logic IL.Luka Mikec, Fedor Pakhomov & Mladen Vuković - forthcoming - Logic Journal of the IGPL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  2
    Theory and Application of Labelling Techniques for Interpretability Logics.Evan Goris, Marta Bílková, Joost J. Joosten & Luka Mikec - 2022 - Mathematical Logic Quarterly 68 (3):352-374.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  3
    Complexity of the Interpretability Logics ILW and ILP.Luka Mikec - forthcoming - Logic Journal of the IGPL.
    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 the interpretability logics of all so-called reasonable theories, IL. It is known that both ILP and ILW are decidable, however their complexity has not been resolved previously. In [10] it was shown that the basic interpretability logic IL is PSPACE-complete. Here we prove the same for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  4
    Existential Definability of Modal Frame Classes.Tin Perkov & Luka Mikec - 2020 - Mathematical Logic Quarterly 66 (3):316-325.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark