Mohl bys uvést přesnou citaci toho "proč jsou ... vesměs k ničemu"?
(Nehádám se, jenom teď bohužel nemám čas to celý pečlivě číst a na rychlý pohled to tam nevidím.)
Nemohl, to je moje formulace faktu, že modální nebo temporální logika přidává něco navíc jen k výrokové, ne predikátové. Ono má samozřejmě akademický smysl nad nimi bádat, to “k ničemu” se vztahuje k praktickému použití v NLU. To “nemohl” se vztahuje jen k tomuto konkrétnímu textu, v nějakém článku to autoři rozebírali, už si nepamatuju kde, ale kouknu po tom (snad to mám v poznámkách, jinak to bude nadlouho…).
P.S. Jinak to samé tvrdí Peregrin, ale taky už nevím přesně kde, čili opět stay tuned, tohle dohledám snáz.