Year:

Forthcoming articles
  1. Meghdad Ghari (forthcoming). Pavelka-Style Fuzzy Justification Logics. Logic Journal of the IGPL:jzw019.
    Justification logics provide a framework for reasoning about justifications and evidence. In this article, we study a fuzzy variant of justification logics in which an agent’s justification for a belief has certainty degree between 0 and 1. We replace the classical base of justification logics with Hájek’s rational Pavelka logic. We introduce fuzzy possible world semantics with crisp accessibility relation and also single world models for our logics. We establish soundness and graded-style completeness for both kinds of semantics. We also (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2. Rafael Álvarez & Antonio Zamora (forthcoming). Randomness Analysis and Generation of Key-Derived s-Boxes. Logic Journal of the IGPL:jzv044.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    Selene Arfini & Lorenzo Magnani (forthcoming). Cognitive Autoimmunity Knowledge, Ignorance and Self-Deception. Logic Journal of the IGPL:jzw016.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. Grigoriy V. Bokov (forthcoming). Undecidable Problems for Propositional Calculi with Implication. Logic Journal of the IGPL:jzw013.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5. Grigoriy V. Bokov (forthcoming). On the Number of Variables in Undecidable Superintuitionistic Propositional Calculi. Logic Journal of the IGPL:jzw018.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. Stefano Bonzio, Ivan Chajda & Antonio Ledda (forthcoming). Representing Quantum Structures as Near Semirings. Logic Journal of the IGPL:jzw031.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. Enrico Cambiaso, Gianluca Papaleo, Giovanni Chiola & Maurizio Aiello (forthcoming). Mobile Executions of Slow DoS Attacks. Logic Journal of the IGPL:jzv043.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  1
    Sam Carter (forthcoming). Probability Judgements About Indicative Conditionals: An Erotetic Theory. Logic Journal of the IGPL:jzw030.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Claudia Casadio (forthcoming). Reasoning Logically in Cognitive Domains. Logic Journal of the IGPL:jzw020.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Gustavo Cevolani (forthcoming). Carnapian truthlikeness. Logic Journal of the IGPL:jzw021.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  11. Wenjuan Chen & Bijan Davvaz (forthcoming). Some Classes of Quasi-Pseudo-MV Algebras. Logic Journal of the IGPL:jzw034.
    Direct download  
     
    Export citation  
     
    My bibliography  
  12. V. Michele Drury (forthcoming). Analytic and Synthetic in Logic. Logic Journal of the IGPL:jzw015.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. A. Fuentes Rodríguez, L. Hernández Encinas, A. Martín Muñoz & B. Alarcos Alcázar (forthcoming). Design and Optimization of the Input Modules of a DPA Toolbox. Logic Journal of the IGPL:jzv041.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Patxi Galán-GarcÍa, José Gaviria De La Puerta, Carlos Laorden Gómez, Igor Santos & Pablo García Bringas (forthcoming). Supervised Machine Learning for the Detection of Troll Profiles in Twitter Social Network: Application to a Real Case of Cyberbullying. Logic Journal of the IGPL:jzv048.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  1
    Marco Giunti & Simone Pinna (forthcoming). For a Dynamical Approach to Human Computation. Logic Journal of the IGPL:jzw023.
    Direct download  
     
    Export citation  
     
    My bibliography  
  16. S. González, Á Herrero, J. Sedano, Urko Zurutuza & E. Corchado (forthcoming). Different Approaches for the Detection of SSH Anomalous Connections. Logic Journal of the IGPL:jzv047.
    Direct download  
     
    Export citation  
     
    My bibliography  
  17. Álvaro Herrero, Bruno Baruque, Ajith Abraham, André C. P. L. F. de Carvalho, Pablo García Bringas, Héctor Quintián & Emilio Corchado (forthcoming). Editorial: Special Issue CISIS13-IGPL. Logic Journal of the IGPL:jzv040.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  1
    Lorenzo Magnani (forthcoming). Naturalizing the Logic of Abduction. Logic Journal of the IGPL:jzw024.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Sérgio Marcelino & Carlos Caleiro (forthcoming). Decidability and Complexity of Fibred Logics Without Shared Connectives. Logic Journal of the IGPL:jzw033.
    Direct download  
     
    Export citation  
     
    My bibliography  
  20. J. Molina-Gil, P. Caballero-Gil, C. Caballero-Gil & A. Fúster-Sabater (forthcoming). Software Implementation of the SNOW 3G Generator on iOS and Android Platforms. Logic Journal of the IGPL:jzv042.
    Direct download  
     
    Export citation  
     
    My bibliography  
  21. Alberto Peinado, Andrés Ortiz & Guillermo Cotrina (forthcoming). Content-Based Image Authentication Using Sparse Features and SOM Trajectories. Logic Journal of the IGPL:jzv039.
    Direct download  
     
    Export citation  
     
    My bibliography  
  22.  1
    Mario Piazza & Gabriele Pulcini (forthcoming). Uniqueness of Axiomatic Extensions of Cut-Free Classical Propositional Logic. Logic Journal of the IGPL:jzw032.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Camelia-M. Pintea, Petrică C. Pop & Ioana Zelina (forthcoming). Denial Jamming Attacks on Wireless Sensor Network Using Sensitive Agents. Logic Journal of the IGPL:jzv046.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. Daniele Porello (forthcoming). Single-Peakedness and Semantic Dimensions of Preferences. Logic Journal of the IGPL:jzw026.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. Gemma Robles & José M. Méndez (forthcoming). A Companion to Brady's 4-Valued Relevant Logic BN4: The 4-Valued Logic of Entailment E4. Logic Journal of the IGPL:jzw011.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. Chiaki Sakama & Katsumi Inoue (forthcoming). Abduction, Conversational Implicature and Misleading in Human Dialogues. Logic Journal of the IGPL:jzw027.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27. Ari Saptawijaya & Luís Moniz Pereira (forthcoming). Logic Programming for Modeling Morality. Logic Journal of the IGPL:jzw025.
    Direct download  
     
    Export citation  
     
    My bibliography  
  28. Michael Schippers (forthcoming). Bayesian Coherentism]Bayesian Coherentism and the Problem of Measure Sensitivity. Logic Journal of the IGPL:jzw028.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  2
    Gerhard Schurz (forthcoming). Common Cause Abduction: The Formation of Theoretical Concepts and Models in Science. Logic Journal of the IGPL:jzw029.
    Direct download  
     
    Export citation  
     
    My bibliography  
  30. D. Ventura, Aitor Gómez-Goiri, V. Catania, Diego López-de-Ipiña, J. A. M. Naranjo & L. G. Casado (forthcoming). Security Analysis and Resource Requirements of Group-Oriented User Access Control for Hardware-Constrained Wireless Network Services. Logic Journal of the IGPL:jzv045.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31. John Woods (forthcoming). Does Changing the Subject From A to B Really Provide an Enlarged Understanding of A? Logic Journal of the IGPL:jzw017.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32. C. Areces, E. Franconi, R. Goré, M. de Rijke & H. Schlingloff (forthcoming). Methods for Modalities 1, Volume 8 (3). Logic Journal of the IGPL.
     
    Export citation  
     
    My bibliography  
  33. Wesley Calvert (forthcoming). On Three Notions of Effective Computation Over R. Logic Journal of the IGPL.
     
    Export citation  
     
    My bibliography  
  34. Emiliano Lorini, Andreas Herzig, France Jomi F. Hübner & Laurent Vercouter (forthcoming). A Logic of Trust and Reputation. Logic Journal of the IGPL.
     
    Export citation  
     
    My bibliography   1 citation  
 Previous issues
  
Next issues