Volume: Vol-4244 CILC 2026 | Year: 2026

Paper: « paper20 | paper32 | paper_1_PLP2025 »

A tableau for Many-Valued Multi-Modal Logic

• Guillermo Badia
• Riccardo Monego
• Carles Noguera
• Alberto Paparella
• Guido Sciavicco
• Ionel Eduard Stan

PDF