Unary interpretability logics for sublogics of the interpretability logic \textbf{IL} (Q6562370)

From MaRDI portal





scientific article; zbMATH DE number 7871662
Language Label Description Also known as
default for all languages
No label defined
    English
    Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}
    scientific article; zbMATH DE number 7871662

      Statements

      Unary interpretability logics for sublogics of the interpretability logic \textbf{IL} (English)
      0 references
      0 references
      26 June 2024
      0 references
      interpretability logic
      0 references
      unary interpretability logic
      0 references

      Identifiers