\input zb-basic
\input zb-ioport
\iteman{io-port 05780209}
\itemau{Barringer, Howard; Gabbay, Dov M.}
\itemti{Modal and temporal argumentation networks.}
\itemso{Manna, Zohar (ed.) et al., Time for verification. Essays in memory of Amir Pnueli. Berlin: Springer (ISBN 978-3-642-13753-2/pbk). Lecture Notes in Computer Science 6200, 1-25 (2010).}
\itemab
Summary: The traditional Dung networks depict arguments as atomic and studies the relationships of attack between them. This can be generalised in two ways. One is to consider, for example, various forms of attack, support and feedback. Another is to add content to nodes and put there not just atomic arguments but more structure, for example, proofs in some logic or simply just formulas from a richer language. This paper offers to use temporal and modal language formulas to represent arguments in the nodes of a network. The suitable semantics for such networks is Kripke semantics. We also introduce a new key concept of usability of an argument.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-13754-9\_1}
\end