Hochschule
Birkbeck, University of London
Birkbeck, University of London – Hochschule bzw. Forschungseinrichtung mit Aktivitäten in Forschung und Innovation.
Forschungsprojekte
- Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic None of the first-order modal logics between $\mathsf{K}$ and $\mathsf{S5}$ under the constant domain semanti…