04d04d19fdd5320953c78ad5b6d2d11f85bc4bcfChristian Maederlogic ExtModal

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder

e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowskispec Try2=

333780eae2be9f20fe46dedbf5eb46ffa0cbfd02Christian Maeder time modality t

97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder modalities a,b

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder sort N

2eeec5240b424984e3ee26296da1eeab6c6d739eChristian Maeder flexible op s__: N -> N

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder flexible ops 0,1: N

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder . [a] >= 2 (not (s 0 = 1)) U X true

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder . <(a)> <= 00 false S (X true U Y true)

e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowski . < > <=1 true U <> <=1 true

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder . <true?> <=1 true

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maederend

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder