✦ LIBER ✦

Ddl Unlimited: Dynamic Doxastic Logic for Introspective Agents

✍ Scribed by Sten Lindström; Wlodek Rabinowicz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Sequent Calculus for Propositional Dyn

✍ J. Sakalauskaitė 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 82 KB

A Sequent Calculus for Propositional Dyn

✍ J. Sakalauskaite 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 204 KB

PROPOSITIONAL DYNAMIC LOGIC FOR REASONIN

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

A concurrent dynamic logic of knowledge,

✍ Lijun Wu; Jinshu Su; Kaile Su; Xiangyu Luo; Zhihua Yang 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 257 KB