𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Quantifiers and Temporal Ontology

✍ Scribed by Sider, Ted

Year
0
Tongue
English
Weight
312 KB
Category
Fiction

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Quantifiers in ontology
Quantifiers in ontology
✍ Charles F. Kielkopf πŸ“‚ Article πŸ“… 1977 πŸ› Springer Netherlands 🌐 English βš– 466 KB
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

Quantifiers
Quantifiers
✍ Haack, Susan πŸ“‚ Fiction πŸ“… 0 🌐 English βš– 2 MB
Ontology, Ontologies, and Science
Ontology, Ontologies, and Science
✍ Gary H. Merrill πŸ“‚ Article πŸ“… 2011 πŸ› Springer Netherlands 🌐 English βš– 193 KB
Scopeless quantifiers and operators
Scopeless quantifiers and operators
✍ Thomas Ede Zimmermann πŸ“‚ Article πŸ“… 1993 πŸ› Springer Netherlands 🌐 English βš– 782 KB