Modal and Temporal Argumentation Networks

Howard Barringer, Dov M. Gabbay. Modal and Temporal Argumentation Networks. In Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, pages 1-25, Springer, 2010. [doi]

Abstract

Abstract is missing.