Labelled tableaux for non-normal modal logics Conference Paper uri icon

publication date

  • December 1, 2000