Putting the Agents back in the Domain: A Two-Sorted Term-Modal Logic

Re-assign community