OOIR: Observatory of International Research

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-05-01 to 2025-05-01.)

Article	Citations
Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-19	23
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review	12
Detection of transiting exoplanets and phase-folding their host star’s light curves from K2 data with 1D-CNN	11
PBIL for optimizing inception module in convolutional neural networks	11
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	11
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs	10
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	8
A detailed analysis of the interpretability of Convolutional Neural Networks for text classification	8
A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence	7
On the relationships between some meta-mathematical properties of arithmetical theories	7
Online, computable and punctual structure theory	7
Aristotle’s dilemma	6
Hyperintensional models for non-congruential modal logics	5
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	5
Restricted Rules of Inference and Paraconsistency	5
A probabilistic temporal epistemic logic: Decidability	5
Explanatory frameworks in complex change and resilience system modelling	4
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem	4
Semantical investigations on non-classical logics with recovery operators: negation	4
Remarks on uniform interpolation property	4
TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection	4
Non-contingency in a paraconsistent setting	3
Gaussian process-based analysis of the nitrogen dioxide at Madrid Central Low Emission Zone	3
Optimizing wastewater treatment plants with advanced feature selection and sensor technologies	3
A novel variable neighborhood descent algorithm for service restoration in radial electrical distribution networks	3

The third order Nickel Fibonacci numbers	3
Modified LDA vector and feedback analysis for short query Information Retrieval systems	3
Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras	3
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation	3
Tabu search and genetic algorithm in rims production process assignment	3
Crisp Bi-Gödel modal logic and its paraconsistent expansion	3
A new approach for writer verification based on segments of handwritten graphemes	3
On the bi-periodic (k,s)—Jacobsthal numbers via the Fibonacci–Hörner decomposition of matrix powers	2
Detection, exploitation and mitigation of memory errors	2
Base-extension semantics for S5 modal logic	2
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison	2
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0	2
Towards a polarized semantics for assertion and denial	2
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae	2
Editorial: Special issue in honour of John Newsome Crossley	2
Analyzing time series to forecast hot rolled coil steel price in Spain by means of neural non-linear models	2
Constructive aspects of Riemann’s permutation theorem for series	2
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation	2
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach	2
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices	2
The early history of formal diagonalization	2
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	2
An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices	2
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case	2
On algebraic and topological semantics of the modal logic of common knowledge S4CI	2
The application of artificial neural networks to forecast financial time series	2
Chlorophyll-α forecasting using LSTM, bidirectional LSTM and GRU networks in El Mar Menor (Spain)	2
Combining statistical dialog management and intent recognition for enhanced response selection	2
Algebraic Properties of Paraorthomodular Posets	1
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning	1
Logic of informal provability with truth values	1
Restriction in Program Algebra	1
A robot-based surveillance system for recognising distress hand signal	1
Decidability of quantum modal logic	1
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings	1
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	1
The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae	1
A support vector regression model for time series forecasting of the COMEX copper spot price	1
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 formulae	1
Functoriality of the Schmidt construction	1
The limitless first incompleteness theorem	1
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	1
John Crossley: A life intellectual	1
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	1
Jónsson-style canonicity in distributive modal µ-calculus	1
Modality across different logics	1
Undecidability of admissibility in the product of two Alt logics	1
Editorial: Special issue SOCO 2020	1
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	1
On directional accuracy of some methods to forecast time series of cybersecurity aggregates	1

Sample logic	1
Computable operators on left–c.e. reals and their continuity properties	1
Abduction and analogies in linguistic reconstruction inferences	1
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 matrices	1
A comparative study of neural network architectures for software vulnerability forecasting	1
Embedded feature selection for neural networks via learnable drop layer	1
The logic of conditionals on outback trails	1
Inferential-connexive mixed logics	1
Design and implementation of parallel self-adaptive differential evolution for global optimization	1
Expressing knowledge as linked data by FOOL	1
AGV fuzzy control optimized by genetic algorithms	1
Quantum modal logic	1
Two semantic interpretations of probabilities in description logics of typicality	1
Modal semantics for reasoning with probability and uncertainty	1
Remarks about the unification types of some locally tabular normal modal logics	1
Editorial: Special issue ISA 2023	1
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems	1
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	1
Randomness study of the concatenation of generalized sequences	1
Fragments of Quasi-Nelson: The Algebraizable Core	1
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries	1
Unsupervised network traffic anomaly detection with deep autoencoders	1
Tarski’s Undefinability Theorem and the Diagonal Lemma	1
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network	1
The cardinality of the partitions of a set in the absence of the Axiom of Choice	1
Finite axiomatizability of logics of distributive lattices with negation	1