Vol-3716⫷ Vol-3717 ⫸Vol-3718
urn:nbn:de:0074-3717-0


Vol-3717/short1⫷Vol-3717/paper1⫸Vol-3717/short2
Guy AxelrodWillem Conradie

Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics