search

hferee / UIML

Uniform Interpolation for Modal Logics
Other
4 stars 1 forks source link

In the demo, fail for IL if a modality is present. #10

Closed hferee closed 4 days ago

hferee commented 3 weeks ago

Following #7

hferee commented 3 weeks ago

Please @samvang check that the error message suits you. An issue is that the placeholder formula has modalities, and the default selected logic is IL, so the default example will fail.

samvang commented 3 weeks ago

Yes. But we could make the standard example formula (~q -> p) & (p -> r), for example.

samvang commented 3 weeks ago

The error message looks fine