DMCA

The complexity of one-agent Refinement Modal Logic

by Laura Bozzelli , Hans Van Ditmarsch , Sophie Pinchinat
Citations:4 - 1 self