✦ LIBER ✦

A Logic for Characterizing Multiple Bounded Agents

✍ Scribed by John Grant; Sarit Kraus; Donald Perlis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Logic of Situated Resource-Bounded Age

✍ Natasha Alechina; Brian Logan 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 240 KB

A Matrix Characterization for Multiplica

✍ Christoph Kreitz; Heiko Mantel 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 415 KB

A Logical Model for Agent Communication

✍ Mario Verdicchio; Marco Colombetti 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 166 KB

A Mathematical Model Characterizing Four

✍ Yen, Y.T. 📂 Article 📅 1968 🏛 IEEE 🌐 English ⚖ 833 KB

Characterizing consistency in probabilis

✍ K. A. Andersen 📂 Article 📅 1994 🏛 Springer-Verlag 🌐 English ⚖ 848 KB

A Sequent Calculus for Propositional Dyn

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