Logic Journal of the Igpl

Papers
(The TQCC of Logic Journal of the Igpl is 1. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-09-01 to 2025-09-01.)
ArticleCitations
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration26
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs16
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models14
On the relationships between some meta-mathematical properties of arithmetical theories13
PBIL for optimizing inception module in convolutional neural networks12
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review12
A detailed analysis of the interpretability of Convolutional Neural Networks for text classification11
Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-1911
Coatoms, molecules, and creators in MTL-algebras and their counterparts in multivalued logics8
Detection of transiting exoplanets and phase-folding their host star’s light curves from K2 data with 1D-CNN8
The logics of individual Medvedev frames7
A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence7
Online, computable and punctual structure theory7
Insider attack detection in database with deep metric neural network with Monte Carlo sampling5
A probabilistic temporal epistemic logic: Decidability5
Another remark on connexivity and set theory5
An observer-based approach to the sorites paradox and the logic derived from that4
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem4
The third order Nickel Fibonacci numbers4
A new approach for writer verification based on segments of handwritten graphemes4
Hyperintensional models for non-congruential modal logics4
Aristotle’s dilemma4
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation4
Semantical investigations on non-classical logics with recovery operators: negation4
Remarks on uniform interpolation property4
TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection4
Non-contingency in a paraconsistent setting4
Gaussian process-based analysis of the nitrogen dioxide at Madrid Central Low Emission Zone4
Editorial: Special issue in honour of John Newsome Crossley3
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae3
An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices3
Explanatory frameworks in complex change and resilience system modelling3
Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras3
Modified LDA vector and feedback analysis for short query Information Retrieval systems3
Towards a polarized semantics for assertion and denial3
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices3
A novel variable neighborhood descent algorithm for service restoration in radial electrical distribution networks3
The early history of formal diagonalization3
Crisp Bi-Gödel modal logic and its paraconsistent expansion3
On the bi-periodic (k,s)—Jacobsthal numbers via the Fibonacci–Hörner decomposition of matrix powers3
Combining statistical dialog management and intent recognition for enhanced response selection3
Optimizing wastewater treatment plants with advanced feature selection and sensor technologies3
Tabu search and genetic algorithm in rims production process assignment3
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic2
Constructive aspects of Riemann’s permutation theorem for series2
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach2
Chlorophyll-α forecasting using LSTM, bidirectional LSTM and GRU networks in El Mar Menor (Spain)2
A support vector regression model for time series forecasting of the COMEX copper spot price2
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd2
Base-extension semantics for S5 modal logic2
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.02
A new completeness proof at the propositional level for mbC and some of its extensions2
On algebraic and topological semantics of the modal logic of common knowledge S4CI2
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation2
Inferential-connexive mixed logics2
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness2
The cardinality of the partitions of a set in the absence of the Axiom of Choice2
The application of artificial neural networks to forecast financial time series2
Detection, exploitation and mitigation of memory errors2
Analyzing time series to forecast hot rolled coil steel price in Spain by means of neural non-linear models2
Expressing knowledge as linked data by FOOL2
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison2
The limitless first incompleteness theorem2
John Crossley: A life intellectual2
A comparative study of neural network architectures for software vulnerability forecasting1
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system1
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks1
Exploiting multimodal biometrics for enhancing password security1
Editorial: Special issue ISA 20231
Embedded feature selection for neural networks via learnable drop layer1
Functoriality of the Schmidt construction1
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers1
On the number of different variables required to define the n-density or the bounded n-width of Kripke frames with some consequences for Sahlqvist formulae1
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities1
Modality across different logics1
Decidability of quantum modal logic1
How did Avicenna understand the Barcan formulas?1
The logic of conditionals on outback trails1
Logics and collaboration1
On directional accuracy of some methods to forecast time series of cybersecurity aggregates1
Undecidability of admissibility in the product of two Alt logics1
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries1
Editorial: Special issue SOCO 20201
Modal semantics for reasoning with probability and uncertainty1
Unsupervised network traffic anomaly detection with deep autoencoders1
A robot-based surveillance system for recognising distress hand signal1
First-order logic of change1
Finite axiomatizability of logics of distributive lattices with negation1
AGV fuzzy control optimized by genetic algorithms1
Labelled proof systems for existential reasoning1
Abduction and analogies in linguistic reconstruction inferences1
Two semantic interpretations of probabilities in description logics of typicality1
The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae1
A novel method for anomaly detection using beta Hebbian learning and principal component analysis1
Computable operators on left–c.e. reals and their continuity properties1
From simple to complex: a sequential method for enhancing time series forecasting with deep learning1
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings1
Logic of informal provability with truth values1
Design and implementation of parallel self-adaptive differential evolution for global optimization1
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning1
The determinants and the inverses of the $\left ( \frac{2a }{k^{2}+2},a,a\right ) $-$L_{k}$-Toeplitz and the $(2,k^{2}+2,k^{2}+2)$-$ F_{k} $-Toeplitz matrices1
Remarks about the unification types of some locally tabular normal modal logics1
Knowledge and ignorance in Belnap–Dunn logic1
Jónsson-style canonicity in distributive modal µ-calculus1
Quantum modal logic1
Generic reasoning: A programmatic sketch1
Randomness study of the concatenation of generalized sequences1
Functional completeness and primitive positive decomposition of relations on finite domains1
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network1
Generalised Leonardo numbers1
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems1
Restriction in Program Algebra1
0.073207855224609