•  34
    Introduction: Outright Belief and Degrees of Belief
    Dialectica 66 (3): 305-308. 2012.
    What is the relation between ‘full’ or ‘outright’ belief and the various levels of confidence that agents can have in the propositions that concern them? This paper argues for a new answer to this question. Decision theory implies that in making decisions, rational agents must treat certain propositions as though they were completely certain; but on most forms of decision theory, these propositions are not ones for which any finite agent could have maximal justification – the agent will clearly …Read more
  •  30
    Simultaneous rigid sorted unification for tableaux
    with A. Gavilanes
    Studia Logica 72 (1): 31-59. 2002.
    In this paper we integrate a sorted unification calculus into free variable tableau methods for logics with term declarations. The calculus we define is used to close a tableau at once, unifying a set of equations derived from pairs of potentially complementary literals occurring in its branches. Apart from making the deduction system sound and complete, the calculus is terminating and so, it can be used as a decision procedure. In this sense we have separated the complexity of sorts from the un…Read more
  •  5
    Free-variable tableaux for monotonic preorders
    with A. Gavilanes
    Logic Journal of the IGPL 9 (6): 813-844. 2001.