Skip to content

Tableaux for multi-agent deliberative-stit logic.

Heinrich Wansing

VenueBAiML
Year2006
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.