MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS.
Saved in:
| Title: | MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS. |
|---|---|
| Authors: | PERINI BROGI, COSIMO1, cosimo.perinibrogi@imtlucca.it, NEGRI, SARA2, OLIVETTI, NICOLA3 |
| Source: | Review of Symbolic Logic; Sep2025, Vol. 18 Issue 3, p704-743, 40p |
| Database: | Humanities Source |
| ISSN: | 17550203 |
|---|---|
| DOI: | 10.1017/S1755020325100701 |