Volume: Vol-4039 ICTCS 2025 | Year: 2025

Paper: « paper12 | paper10 | paper17 »

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

• Antonella Bilotta
• Marco Maggesi
• Cosimo Perini Brogi

154-162 PDF