Lyndon Interpolation for Modal Logic via Type Elimination Sequences
| Authors | |
|---|---|
| Publication date | 24-08-2022 |
| Series | Technical Notes Series, X-2022-01 |
| Number of pages | 6 |
| Publisher | Amsterdam: ILLC, University of Amsterdam |
| Organisations |
|
| Abstract |
This note describes a method for constructing Lyndon interpolants based on quasi-models and type elimination sequences.The same method was employed in [2] (using mosaics) to compute optimal-size Lyndon interpolants for formulas in the guarded-fragment and the guarded-negation fragment. This note serves to showcase the method in a simpler setting, namely that of the basic modal language. To provide context, I also briefly survey some other genera |
| Document type | Working paper |
| Language | English |
| Published at | https://eprints.illc.uva.nl/id/eprint/1869/ |
| Downloads |
interpolation_mosaics (6)
(Final published version)
|
| Permalink to this page | |
