Login / Signup

Internal proof calculi for modal logics with separating conjunction.

Stéphane DemriRaul FervariAlessio Mansutti
Published in: J. Log. Comput. (2021)
Keyphrases