✦ LIBER ✦

A Temporal Semantics for Basic Logic

✍ Scribed by Stefano Aguzzoli; Matteo Bianchi; Vincenzo Marra

Publisher: Springer Netherlands
Year: 2009
Tongue: English
Weight: 259 KB
Volume: 92
Category: Article
ISSN: 0039-3215
DOI: 10.1007/s11225-009-9192-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Alternative semantics for temporal logic

Alternative semantics for temporal logics

✍ E.Allen Emerson 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 984 KB

Alternative semantics for temporal logic

Alternative semantics for temporal logics

✍ E. Allen Emerson 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 112 KB

Simplified semantics for basic relevant

Simplified semantics for basic relevant logics

✍ Graham Priest; Richard Sylvan 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 635 KB

Linear temporal logic as an executable s

Linear temporal logic as an executable semantics for planning languages

✍ Marta Cialdea Mayer; Carla Limongelli; Andrea Orlandini; Valentina Poggioni 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 301 KB

A semantics for Fuzzy Logic

✍ J. B. Paris 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 193 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