Volume: Vol-4039 ICTCS 2025 | Year: 2025

Paper: « paper10 | paper17 | paper02 »

An Agda Implementation of the Modal Logic S4.2: First Investigations

• Riccardo Borsetto
• Margherita Zorzi

163-168 PDF