✦ LIBER ✦

A generic complete dynamic logic for reasoning about purity and effects

✍ Scribed by Till Mossakowski; Lutz Schröder; Sergey Goncharov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Family of Dynamic Description Logics f

✍ Liang Chang, Zhongzhi Shi, Tianlong Gu, Lingzhong Zhao 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 986 KB

PROPOSITIONAL DYNAMIC LOGIC FOR REASONIN

✍ Tim Miller; Peter McBurney 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 411 KB

A Hybrid Logic for Reasoning about Knowl

✍ Bernhard Heinemann 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 300 KB

A Sound and Complete Tableau Calculus fo

✍ Riccardo Rosati 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 244 KB

Addenda and corrigenda to “A general pos

✍ Heinrich Wansing 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 36 KB

A qualitative effect calculus for reason

📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 158 KB