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

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

A novel variable neighborhood descent algorithm for service restoration in radial electrical distribution networks	4
Hyperintensional models for non-congruential modal logics	4
Implicational tonoids and their representations	4
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem	4
Explanatory frameworks in complex change and resilience system modelling	3
Tabu search and genetic algorithm in rims production process assignment	3
Editorial: Special issue in honour of John Newsome Crossley	3
Optimizing wastewater treatment plants with advanced feature selection and sensor technologies	3
A dual equivalence of the category of Lawson compact algebraic L -domains and spectrally continuous functions	3
On bipolar fuzzy soft hyperlattices	3
Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras	3
The third order Nickel Fibonacci numbers	3
Some properties of weakly r-supplemented modules	3
On minimal pairs of quasi-degrees	3
Crisp Bi-Gödel Modal Logic and Its Paraconsistent Expansion	3
On the bi-periodic ( k,s )—Jacobsthal numbers via the Fibonacci–Hörner decomposition of matrix powers	3
A new extension of the Frank matrix and its properties	3
Semantical Investigations on Non-Classical Logics With Recovery Operators: Negation	3
Non-contingency in a paraconsistent setting	3
Modified LDA vector and feedback analysis for short query Information Retrieval systems	3
Combining statistical dialog management and intent recognition for enhanced response selection	3
An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices	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
Chlorophyll-α forecasting using LSTM, bidirectional LSTM and GRU networks in El Mar Menor (Spain)	2
A new completeness proof at the propositional level for mbC and some of its extensions	2
K and KT: an analytic non-deterministic view	2
Contrastive learning of prototypical network for detecting phishing URL	2
The limitless first incompleteness theorem	2
Two decades of non-classical mathematics: introduction to the special issue	2
The application of artificial neural networks to forecast financial time series	2
Extending computational trinitarianism	2
Constructive aspects of Riemann’s permutation theorem for series	2
Analyzing time series to forecast hot rolled coil steel price in Spain by means of neural non-linear models	2
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	2
On algebraic and topological semantics of the modal logic of common knowledge S4CI	2
John Crossley: A life intellectual	2
Models of an abstract elementary class as a Generalized Polish Space	2
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation	2
Towards a polarized semantics for assertion and denial	2
Detection, exploitation and mitigation of memory errors	2
Editorial: Special Issue SOCO 2022	2
Expressing knowledge as linked data by FOOL	2
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison	2
A note on the axiom of choice in an iterative paraconsistent set theory	2
Inferential-connexive mixed logics	1
Editorial: Special issue ISA 2023	1
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings	1
Abduction and analogies in linguistic reconstruction inferences	1
Quantum simulation of Boolean logic, digital circuits, and cryptographic schemes	1

Decidability of quantum modal logic	1
Functional completeness and primitive positive decomposition of relations on finite domains	1
Comparative analysis of data sampling techniques for legal text classification in real-world scenarios	1
A robot-based surveillance system for recognising distress hand signal	1
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	1
Partial connexivity and the logic CG ʹ3	1
Forecasting temperature in geothermal heat pump using deep learning for enhanced residential building energy management	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
Computable operators on left–c.e. reals and their continuity properties	1
Homotopic contraction mappings	1
Understanding the black box: Android malware detection through Explainable AI	1
Modal semantics for reasoning with probability and uncertainty	1
Tense operators on Kleene algebras with intuitionistic negation	1
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	1
On quasi(semi) convex MV-algebras	1
SHWFS image-based wavefront prediction for adaptive optics using convolutional LSTM	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
Enhanced traceability methodology based on OCR deep learning techniques in the metalworking industry	1
AGV fuzzy control optimized by genetic algorithms	1
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	1
Exploiting multimodal biometrics for enhancing password security	1
A note on the expressive completeness of LP in a metatheory without negation	1
Possibilist models of executable arithmetic in an interpretation of Griss	1
Fibonacci-based Pascal-like matrices with double factorial binomial structure	1
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems	1
New tableau characterizations for non-clausal regular MinSAT and MaxSAT problems	1
Stability analysis of an improved stochastic malware diffusion SEIR model	1
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	1
Information types in intuitionistic predicate logic with constant domains	1
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	1
Undecidability of admissibility in the product of two Alt logics	1
Constructing Θ-Ξ functions via multiplicative generators on a completely distributive lattice	1
Embedded feature selection for neural networks via learnable drop layer	1
Editorial: Special issue SOCO 2020	1
Quantum modal logic	1
How did Avicenna understand the Barcan formulas?	1
Hyper swap structures and Kalman functors: the case study of da Costa logic Cω	1
Logics and collaboration	1
Editorial: Special issue SOCO 2023	1
A fundamental completeness theorem for bivalent free logics	1
Boolean and modal connectives as primitives in non-deterministic semantics	1
The logic of conditionals on outback trails	1
The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae	1
Computably enumerable sets of reals in constructive mathematical analysis	1
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries	1
A comparative study of neural network architectures for software vulnerability forecasting	1
Intuitionistic modal logics: tips and clips	1