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

Article	Citations
Detection of transiting exoplanets and phase-folding their host star’s light curves from K2 data with 1D-CNN	20
Coatoms, molecules, and creators in MTL-algebras and their counterparts in multivalued logics	17
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs	9
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	8
Completeness of two fragments of a logic for conditional strategic reasoning	8
The logics of individual Medvedev frames	7
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	6
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review	6
On the relationships between some meta-mathematical properties of arithmetical theories	5
A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence	5
Towards smart hotels: energy forecasting with machine learning models	5
Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-19	5
Hyperintensional models for non-congruential modal logics	4
An observer-based approach to the sorites paradox and the logic derived from that	4
TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection	4
Some explicit values of an alternative q -multiple zeta function at roots of unity	4
A detailed analysis of the interpretability of Convolutional Neural Networks for text classification	4
A probabilistic temporal epistemic logic: Decidability	4
Another remark on connexivity and set theory	4
Aristotle’s dilemma	4
Online, computable and punctual structure theory	4
Remarks on uniform interpolation property	4
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem	4
Isomorphism problem and perfectness of zero-divisor graphs for finite MV-algebras	3
Gaussian process-based analysis of the nitrogen dioxide at Madrid Central Low Emission Zone	3

The third order Nickel Fibonacci numbers	3
Editorial: Special issue in honour of John Newsome Crossley	3
Modified LDA vector and feedback analysis for short query Information Retrieval systems	3
Semantical Investigations on Non-Classical Logics With Recovery Operators: Negation	3
Explanatory frameworks in complex change and resilience system modelling	3
Non-contingency in a paraconsistent setting	3
Tabu search and genetic algorithm in rims production process assignment	3
On minimal pairs of quasi-degrees	3
The early history of formal diagonalization	3
On bipolar fuzzy soft hyperlattices	3
Implicational tonoids and their representations	3
A new extension of the Frank matrix and its properties	3
A novel variable neighborhood descent algorithm for service restoration in radial electrical distribution networks	3
Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras	3
Combining statistical dialog management and intent recognition for enhanced response selection	3
Optimizing wastewater treatment plants with advanced feature selection and sensor technologies	3
Base-extension semantics for S5 modal logic	2
Improving accountability and explainability in robots through encryption, large language models, and visual language models	2
Detection, exploitation and mitigation of memory errors	2
Crisp Bi-Gödel Modal Logic and Its Paraconsistent Expansion	2
Analyzing time series to forecast hot rolled coil steel price in Spain by means of neural non-linear models	2
An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices	2
On quasi(semi) convex MV-algebras	2
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation	2
The application of artificial neural networks to forecast financial time series	2
Editorial: Special Issue SOCO 2022	2
Constructive aspects of Riemann’s permutation theorem for series	2
Chlorophyll-α forecasting using LSTM, bidirectional LSTM and GRU networks in El Mar Menor (Spain)	2
Towards a polarized semantics for assertion and denial	2
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison	2
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	2
The limitless first incompleteness theorem	2
On algebraic and topological semantics of the modal logic of common knowledge S4CI	2
A new completeness proof at the propositional level for mbC and some of its extensions	2
Contrastive learning of prototypical network for detecting phishing URL	2
On the bi-periodic ( k,s )—Jacobsthal numbers via the Fibonacci–Hörner decomposition of matrix powers	2
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	2
Expressing knowledge as linked data by FOOL	2
John Crossley: A life intellectual	2
Intuitionistic modal logics: tips and clips	1
Models of an abstract elementary class as a Generalized Polish Space	1
Editorial: Special issue SOCO 2020	1
Hyper swap structures and Kalman functors: the case study of da Costa logic Cω	1
A note on the expressive completeness of LP in a metatheory without negation	1
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	1
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	1
A fundamental completeness theorem for bivalent free logics	1
Decidability of quantum modal logic	1
The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae	1
Finite axiomatizability of logics of distributive lattices with negation	1

AGV fuzzy control optimized by genetic algorithms	1
Editorial: Special issue ISA 2023	1
A comparative study of neural network architectures for software vulnerability forecasting	1
Modality across different logics	1
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings	1
Exploiting multimodal biometrics for enhancing password security	1
Information types in intuitionistic predicate logic with constant domains	1
Understanding the black box: Android malware detection through Explainable AI	1
Logics and collaboration	1
Inferential-connexive mixed logics	1
Abduction and analogies in linguistic reconstruction inferences	1
Partial connexivity and the logic CG ʹ3	1
Editorial: Special issue SOCO 2023	1
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	1
The logic of conditionals on outback trails	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
Quantum simulation of Boolean logic, digital circuits, and cryptographic schemes	1
Constructing Θ-Ξ functions via multiplicative generators on a completely distributive lattice	1
Enhanced traceability methodology based on OCR deep learning techniques in the metalworking industry	1
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems	1
How did Avicenna understand the Barcan formulas?	1
Modal semantics for reasoning with probability and uncertainty	1
Stability analysis of an improved stochastic malware diffusion SEIR model	1
SHWFS image-based wavefront prediction for adaptive optics using convolutional LSTM	1
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	1
Restriction in Program Algebra	1
The cardinality of the partitions of a set in the absence of the Axiom of Choice	1
Embedded feature selection for neural networks via learnable drop layer	1
Quantum modal logic	1
Comparative analysis of data sampling techniques for legal text classification in real-world scenarios	1
Undecidability of admissibility in the product of two Alt logics	1
New tableau characterizations for non-clausal regular MinSAT and MaxSAT problems	1
Functoriality of the Schmidt construction	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
Forecasting temperature in geothermal heat pump using deep learning for enhanced residential building energy management	1
Generic reasoning: A programmatic sketch	1
Computable operators on left–c.e. reals and their continuity properties	1
Functional completeness and primitive positive decomposition of relations on finite domains	1
A robot-based surveillance system for recognising distress hand signal	1
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries	1