search

hferee / UIML

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

Prouve admissibility of cut for iSL/IPC #17

Closed hferee closed 3 hours ago