Text this: Modal satisifiability in a constraint logic environment