Volume: Vol-4269 ICTCS 2026 | Year: 2026

Paper: « paper31 | paper60 | paper77 »

Semantic Embeddings for Modal Logic (Extended Abstract)

• Pietro Casavecchia
• Mauro Milella
• Riccardo Monego
• Alberto Paparella
• Guido Sciavicco
• Leonardo Serrentino

30-35 PDF