✦ LIBER ✦

R-generability, and definability in branching time logics

✍ Scribed by Mads Dam

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Definability and automorphisms in abstra

✍ Xavier Caicedo 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 160 KB

Interpolation and definability in abstra

✍ Finn V. Jensen 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 277 KB

Undivided and Indistinguishable Historie

✍ Alberto Zanardo 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 239 KB

Definability and Interpolation in Non-Cl

✍ Larisa Maksimova 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 245 KB

Prediction in Branching Time Logic

✍ Giacomo Bonanno 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 168 KB

Moment/History Duality in Prior’s Logics

✍ Alberto Zanardo 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 188 KB