A fibred tableau calculus for modal logics of agents Conference Paper uri icon

publication date

  • January 1, 2006