Birkhoff style calculi for hybrid logics Academic Article uri icon

publication date

  • 2017