๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Temporal discourse and semantical games

โœ Scribed by Jaakko Hintikka

Publisher
Springer Netherlands
Year
1982
Tongue
English
Weight
930 KB
Volume
5
Category
Article
ISSN
0165-0157

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Temporal logics in AI: Semantical and on
Temporal logics in AI: Semantical and ontological considerations
โœ Yoav Shoham ๐Ÿ“‚ Article ๐Ÿ“… 1987 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 808 KB

One way to represent temporal m]ormatton m a logtcal Jormahsm ts by assocgatmg "'proposttton types" wtth ttme pomts or ttme mtervals The way this ts usually done m A1 zs by "retrying" propostttons, so that what otherwise would have been formulas actually appear as arguments to some "predwate," say T