✦ LIBER ✦

Dynamic epistemic logic with branching temporal structures

✍ Scribed by Tomohiro Hoshi; Audrey Yap

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automata for Epistemic Temporal Logic wi

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

Details of Dynamic Mechanical Properties

✍ Dae Up Ahn; Seung-Yeop Kwak 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB 👁 2 views