• Title of article

    A course on bimodal provability logic Original Research Article

  • Author/Authors

    ALBERT VISSER، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 1995
  • Pages
    34
  • From page
    109
  • To page
    142
  • Abstract
    1. (i) the frame-theory of certain bimodal provability logics involving the reflection principle and we study 2. (ii) certain specific bimodal logics with a provability predicate for a subtheory of Peano arithmetic axiomatized by a non-standardly finite number of axioms.
  • Journal title
    Annals of Pure and Applied Logic
  • Serial Year
    1995
  • Journal title
    Annals of Pure and Applied Logic
  • Record number

    889998

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=889998