Year:

Forthcoming articles
  1. Gustavo Cevolani (forthcoming). Truth Approximation Via Abductive Belief Change. Logic Journal of the IGPL.
    We investigate the logical and conceptual connections between abductive reasoning construed as a process of belief change, on the one hand, and truth approximation, construed as increasing (estimated) verisimilitude, on the other. We introduce the notion of ‘(verisimilitude-guided) abductive belief change’ and discuss under what conditions abductively changing our theories or beliefs does lead them closer to the truth, and hence tracks truth approximation conceived as the main aim of inquiry. The consequences of our analysis for some recent discussions concerning (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Gemma Robles & José M. Méndez (Forthcoming). A Routley-Meyer Semantics for Truth-Preserving and Well-Determined Łukasiewicz 3-Valued Logics. Logic Journal of the IGPL.
    Łukasiewicz 3-valued logic Ł3 is often understood as the set of all valid formulas according to Łukasiewicz 3-valued matrices MŁ3. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: ‘truth-preserving’ Ł3a and ‘well-determined’ Ł3b defined by two different consequence relations on the 3-valued matrices MŁ3. The aim of this article is to provide a Routley–Meyer ternary semantics for each one of these three versions of Łukasiewicz 3-valued logic: Ł3, Ł3a and Ł3b.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. C. Areces, E. Franconi, R. Goré, M. de Rijke & H. Schlingloff (forthcoming). Methods for Modalities 1, Volume 8 (3). Logic Journal of the Igpl.
     
    My bibliography  
     
    Export citation  
  4. Wesley Calvert (forthcoming). On Three Notions of Effective Computation Over R. Logic Journal of the Igpl.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Dimitar P. Guelev (forthcoming). Interval-Related Interpolation in Interval Temporal Logics. Logic Journal of the Igpl.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Emiliano Lorini, Andreas Herzig, France Jomi F. Hübner & Laurent Vercouter (forthcoming). A Logic of Trust and Reputation. Logic Journal of the Igpl.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. A. Rotolo & C. Smith (forthcoming). Collective Trust and Normative Agents. Logic Journal of the Igpl.
    No categories
     
    My bibliography  
     
    Export citation  
  8. Frederik Van De Putte & Christian Strasser (forthcoming). Three Formats of Prioritized Adaptive Logics: A Comparative Study. Logic Journal of the Igpl.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Peter Verdée (forthcoming). Strong, Universal and Provably Non-Trivial Set Theory by Means of Adaptive Logic. Logic Journal of the Igpl.
    No categories
     
    My bibliography  
     
    Export citation  
  10. Peter Verdée (forthcoming). A Proof Procedure for Adaptive Logics. Logic Journal of the Igpl.
    No categories
     
    My bibliography  
     
    Export citation