Return to Article Details Linear Abelian Modal Logic Download Download PDF