Volume: Vol-4244 CILC 2026 | Year: 2026

Paper: « paper3 | paper4 | paper5 »

A proof-search procedure for Kuznetsov-Muravitski Logic

• Mauro Ferrari
• Camillo Fiorentini
• Paolo Giardini

PDF