[Attempto] Decidable subset of ACE

[Norbert E. Fuchs]

On 14 Nov 2012, at 10:25 , Kaarel Kaljurand <kaljurand at gmail.com> wrote:

> In the literature you can also find decidable CNLs which at the same
> time are subsets of ACE. See e.g. the papers listed on:
> 
>  - http://www.cs.man.ac.uk/~ipratt/

One specifically relevant paper is

Pratt-Hartmann, I., Third, A. More fragments of language. Notre Dame Journal of Formal Logic, vol. 47(2), pp. 151—177 (2006)

   --- nef