Vol-4038⫷ Vol-4039 ⫸Vol-4040
urn:nbn:de:0074-4039-0


Vol-4039/paper12⫷Vol-4039/paper10⫸Vol-4039/paper17
Antonella BilottaMarco MaggesiCosimo Perini Brogi

A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS