Modal provability foundations for argumentation networks

Studia Logica

Volumn 93, Issue 2, 2009, Pages 181-198

  Gabbay, Dov M ^a,b,c  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b BAR ILAN UNIVERSITY   (Israel)

^c UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

Argumentation frames; Modal logic; Provability logic

Indexed keywords

EID: 71149095436     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/s11225-009-9215-0     Document Type: Article

References (11)

1. Barringer, H., D. M. Gabbay, and J. Woods, 'Temporal dynamics of argumentation networks', in D. Hutter and W. Stephan (eds.), Mechanising Mathematical Reasoning, LNCS 2605, Springer, 2005, pp. 59-98.
2. Boolos, G., The Logic of Provability, Cambridge University Press, 1993.
3. Caminada, M., 'A gentle introduction to argumentation semantics', Lecture material, Summer 2008.
4. Carnelli, W., M. Corniglio, D. M. Gabbay, P. Gouveia, and C. Sernadas, Analysis and Synthesis of Logics, Springer, 2008, 604 pp.
5. Dung P. M.: 'On acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games'. Artificial Intelligence 77, 321-357 (1995).
6. Dung M. P.: 'An argumentation theoretic foundation for logic programming'. Joural of Logic Programming 22(2), 151-171 (1995).
7. Gabbay, D. M., Semantical Investigations in Modal and Tense Logics, Synthese, Volume 92, D. Reidel, 1976.
8. Gabbay, D. M., 'Modal provability foundations for negation by failure', Imperial College Technical Report, 86/4, 1986.
9. Gabbay, D. M., 'Modal provability foundations for negation by failure', in P. Schroeder-Heister (ed.), Extensions of Logic Programming, Vol. 475 of LNCS, Springer-Verlag, 1990, pp. 179-222.
10. Przymusinski, T., 'Well founded semantics coincides with three valued stable semantics', in W. Marek (ed.), Special issue on Non-monotonic reasoning, Fundamenta Informatica 13(4): 445-464, 1990.
11. Solovay R.: 'Provability interpretations of modal logic'. Israel Journal of Mathematics 25, 287-304 (1976).