On logics and semantics for lnterpretability

• Autores: Luka Mikec
• Directores de la Tesis: Joost J. Joosten (dir. tes.), Malden VUKOVIC (codir. tes.)
• Lectura: En la Universitat de Barcelona ( España ) en 2021
• Idioma: español
• Tribunal Calificador de la Tesis: Laurina Verbrugge (presid.), Tommasi Moreschini (secret.), Vedran Cacic (voc.)
• Programa de doctorado: Programa de Doctorado en Matemáticas e Informática por la Universidad de Barcelona
• Materias:
  • Lógica
    • Lógica deductiva
      • Fundamentos de matemáticas
      • Lógica matemática
      • Lógica modal
• Enlaces
  • Tesis en acceso abierto en: TESEO
• Resumen

  • In this thesis we study various properties of formalised relativised interpretability. In the central part of this thesis we study for different interpretability logics the following aspects: completeness for modal semantics, decidability and algorithmic complexity. We prove that a certain series of principles is arithmetically sound, and give new proofs for some already known results.