A Note on Constructive Interpolation for the Multi-Modal Logic K (Q113317270)

From Wikidata
Jump to navigation Jump to search
scientific article published on 24 November 2020
edit
Language Label Description Also known as
English
A Note on Constructive Interpolation for the Multi-Modal Logic K
scientific article published on 24 November 2020

    Statements

    A Note on Constructive Interpolation for the Multi-Modal Logic K (English)

    Identifiers

     
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    edit