✦ LIBER ✦

Temporal Languages for Epistemic Programs

✍ Scribed by Joshua Sack

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logics for Epistemic Programs

✍ Alexandru Baltag; Lawrence S. Moss 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 384 KB

A Coalgebraic Semantics for Epistemic Pr

✍ Alexandru Baltag 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 256 KB

A framed temporal logic programming lang

✍ Zhen-Hua Duan 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 69 KB

Programming with conditionals: Epistemic

✍ Jing-de Cheng 📂 Article 📅 2001 🏛 Wuhan University 🌐 English ⚖ 681 KB

Programming languages for writing system

✍ C. A. Lang 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB

Automata for Epistemic Temporal Logic wi

✍ Swarup Mohalik; R. Ramanujam 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 396 KB