𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantic Problems in Logic and Linguisticsby Paul Diderichsen

✍ Scribed by Review by: Anders Wedberg


Book ID
124950995
Publisher
Association for Symbolic Logic
Year
1959
Tongue
English
Weight
109 KB
Volume
24
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Temporal logics in AI: Semantical and on
✍ 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