A Note on Constructive Interpolation for the Multi-Modal Logic K (Q113317270)
Jump to navigation
Jump to search
scientific article published on 24 November 2020
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)
Everardo Bárcenas
José-de-Jesús Lavalle-Martínez
Guillermo Molero-Castillo
Alejandro Velázquez-Mena
24 November 2020