Sheffield, South Yorkshire, United Kingdom of Great Britain and Northern Ireland
  •  30
    The new logic
    with D. Gabbay
    Logic Journal of the IGPL 9 (2): 141-174. 2001.
    The purpose of this paper is to communicate some developments in what we call the new logic. In a nutshell the new logic is a model of the behaviour of a logical agent. By these lights, logical theory has two principal tasks. The first is an account of what a logical agent is. The second is a description of how this behaviour is to be modelled. Before getting on with these tasks we offer a disclaimer and a warning. The disclaimer is that although the new logic is significantly different from it,…Read more
  •  9
    More on non-cooperation in dialogue logic
    with D. Gabbay
    Logic Journal of the IGPL 9 (2): 305-324. 2001.
    Stone-walling dialogues are exercises in structured non-cooperation. It is true that dialogue participants need to cooperate with one another and in ways sufficient to make possible the very dialogue they are now having. Beyond that there is room for non-cooperation on a scale that gives great offence to what we call the Goody Two-Shoes Model of argument. In this paper, we argue that non-cooperation dialogues have perfectly legitimate objectives and that in relation to those objectives they need…Read more
  •  21
    We Will Show Them: Essays in Honour of Dov Gabbay (edited book)
    with S. Artemov, H. Barringer, A. Garcez, and L. Lamb
    College Publications. 2005.
    This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the latest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of modal logic, intuitionistic logic, logic and language, nonmonotonic logic and logic programming, temporal logic, logic and learning, combination of logics, practical reasoning, logic…Read more
  •  43
    Modal and temporal argumentation networks
    with H. Barringer and D. M. Gabbay
    Argument and Computation 3 (2-3). 2012.
    The traditional Dung networks depict arguments as atomic and study the relationships of attack between them. This can be generalised in two ways. One is to consider various forms of attack, support, feedback, etc. Another is to add content to nodes and put there not just atomic arguments but more structure, e.g. 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 s…Read more
  •  39
    Temporal, numerical and meta-level dynamics in argumentation networks
    with H. Barringer and D. M. Gabbay
    Argument and Computation 3 (2-3). 2012.
    This paper studies general numerical networks with support and attack. Our starting point is argumentation networks with the Caminada labelling of three values 1=in, 0=out and ½=undecided. This is generalised to arbitrary values in [01], which enables us to compare with other numerical networks such as predator?prey ecological networks, flow networks, logical modal networks and more. This new point of view allows us to see the place of argumentation networks in the overall landscape of networks …Read more
  •  6
    Argument: Critical Thinking, Logic and the Fallacies (M. Hogan)
    with A. Irvine and D. Walton
    Philosophical Books 43 (1): 43-45. 2002.