Presburger Modal Logic Is PSPACE-Complete

Stephane Demri,D. Lugiez
DOI: https://doi.org/10.1007/11814771_44
2006-08-17
Abstract:
What problem does this paper attempt to address?