Order:
  1.  48
    Subjective situations and logical omniscience.Antonio Moreno, Ulises Cortés & Ton Sales - 2002 - Studia Logica 72 (1):7-29.
    The beliefs of the agents in a multi-agent system have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they commit us to model agents that are logically omniscient. We propose a way of avoiding this problem, using a new kind of entities called subjective situations. We define a new doxastic logic based on these entities and we show how the belief operators (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  2. La informàtica moderna, hereva intel· lectual directa del pensament de Llull.Ton Sales - 1998 - Studia Lulliana 38 (1):51-61.
     
    Export citation  
     
    Bookmark  
  3.  46
    Logic of assertions.Ton Sales - 1996 - Theoria 11 (1):203-228.
    Logicians treat assertions as true, believed or merely hypothesized sentences. The reasoner who uses them, however, is the sole referee who can validate their truth, their aptness to describe an actual situation, their strength (as beliefs) or the relevance of their use in the current logical context. Moreover, the reasoner actively counts on these factors, as part of the reasoning process itself, and should normally be capable, when asked to do so, to assign consistently relative strengths to the assertions used. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark