Undecidability of Some Product Modal Logics

Abstract

O0

Categories and tags

  • Abstrakt