Volume: Vol-3717 PAAR+SC-Square 2024 | Year: 2024

Paper: « short1 | paper1 | short2 »

Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics

• Guy Axelrod dblp
• Willem Conradie ORCID dblp

10-27 PDF