Logic Journal of the Igpl

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
Completeness of two fragments of a logic for conditional strategic reasoning	8
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	8
The logics of individual Medvedev frames	7
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review	6
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	6
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
On the relationships between some meta-mathematical properties of arithmetical theories	5
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
Hyperintensional models for non-congruential modal logics	4
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
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
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
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
Modality across different logics	1
The logic of conditionals on outback trails	1
Exploiting multimodal biometrics for enhancing password security	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
Information types in intuitionistic predicate logic with constant domains	1
Quantum simulation of Boolean logic, digital circuits, and cryptographic schemes	1
Logics and collaboration	1
Constructing Θ-Ξ functions via multiplicative generators on a completely distributive lattice	1
Abduction and analogies in linguistic reconstruction inferences	1
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems	1
Editorial: Special issue SOCO 2023	1

Stability analysis of an improved stochastic malware diffusion SEIR model	1
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	1
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	1
The cardinality of the partitions of a set in the absence of the Axiom of Choice	1
Quantum modal logic	1
Enhanced traceability methodology based on OCR deep learning techniques in the metalworking industry	1
How did Avicenna understand the Barcan formulas?	1
New tableau characterizations for non-clausal regular MinSAT and MaxSAT problems	1
Modal semantics for reasoning with probability and uncertainty	1
Functoriality of the Schmidt construction	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
Restriction in Program Algebra	1
Forecasting temperature in geothermal heat pump using deep learning for enhanced residential building energy management	1
Embedded feature selection for neural networks via learnable drop layer	1
Computable operators on left–c.e. reals and their continuity properties	1
Comparative analysis of data sampling techniques for legal text classification in real-world scenarios	1
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries	1
Undecidability of admissibility in the product of two Alt logics	1
Models of an abstract elementary class as a Generalized Polish Space	1
Hyper swap structures and Kalman functors: the case study of da Costa logic Cω	1
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	1
Generic reasoning: A programmatic sketch	1
A fundamental completeness theorem for bivalent free logics	1
Functional completeness and primitive positive decomposition of relations on finite domains	1
The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae	1
A robot-based surveillance system for recognising distress hand signal	1
Finite axiomatizability of logics of distributive lattices with negation	1
Intuitionistic modal logics: tips and clips	1
AGV fuzzy control optimized by genetic algorithms	1
Editorial: Special issue SOCO 2020	1
A comparative study of neural network architectures for software vulnerability forecasting	1
A note on the expressive completeness of LP in a metatheory without negation	1
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings	1
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	1
Understanding the black box: Android malware detection through Explainable AI	1
Decidability of quantum modal logic	1
Inferential-connexive mixed logics	1
Partial connexivity and the logic CG ʹ3	1
Editorial: Special issue ISA 2023	1
On Nelson’s conception of consistency	0
Who finds the short proof?	0
Two semantic interpretations of probabilities in description logics of typicality	0
Kolmogorov and Kuroda translations into basic predicate logic	0
Criteria for determining whether a t-norm is an additively generated cancellative one	0
Logic, co-ordination and the envelope of our beliefs	0
Automatic detection of faults in industrial production of sandwich panels using Deep Learning techniques	0
Study of infostealers using Graph Neural Networks	0
Using Multi-Objective Optimization to build non-Random Forest	0
PhrasIS: Phrase Inference and Similarity benchmark	0
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4	0
Sharpening complexity results in quantified probability logic	0
Analysis of spinal mobility and pain in nursing professionals: a study in intensive care units and operating room settings	0
A correspondence theorem for interpretability logic with respect to Verbrugge semantics	0
Involving cognitive science in model transformation for description logics	0
On structural proof theory of the modal logic K+ extended with infinitary derivations	0
Editorial: Special issue CISIS 2023	0
Paraconsistentization and many-valued logics	0
Failure and anomaly detection for automatic meter reading network in intelligent water system	0
Boundedly finite-to-one functions	0
A constructive proof of the Craig’s interpolation theorem for QCiore	0
Data dimensionality reduction for an optimal switching mode classification applied to a step-down power converter	0
A characterization of crossed self-similarity on crossed modules in L-algebras	0
First-order logic of change	0
Model checking distributed temporal logic	0
Editorial: Special issue HAIS 2023	0
Genuine paracomplete logics	0
PSPACE-completeness of bimodal transitive weak-density logic	0
Reconstructing turbulence-distorted wavefronts through laser-beam profiles	0
A prototype-based transfer learning approach for the particle swarm clustering algorithm	0
Sign-based image criteria for social interaction visual question answering	0
What is mathematical logic? An Australian odyssey	0
On split-octonionic curves	0
Exploring quantum edge detection for sheep body contours in images	0
Recurrent variational autoencoder approach for remaining useful life estimation	0
Algebraic logic for the negation fragment of classical logic	0
SPECIAL ISSUE CISIS 2020-IGPL	0
Towards enhanced monitoring framework with smart predictions	0
Labelled proof systems for existential reasoning	0
An innovative framework for supporting content-based authorship identification and analysis in social media networks	0

LSTM vs CNN in real ship trajectory classification	0
Forecasting livestock activity through interpretable neuroevolutionary transfer learning	0
Realtime polymorphic malicious behavior detection in blockchain-based smart contracts	0
The finite sequences and the partitions whose members are finite of a set	0
Non-empty open intervals of computably enumerable sQ1-degrees	0
Generalised Leonardo numbers	0
Recollections of logicians, mathematicians and philosophers	0
The higher dimensional propositional calculus	0
Multimodal video and radar system for edge devices object detection	0
Do predictions destroy predictability? A study focusing on stock markets	0
On intermediate justification logics	0
Simple sequent systems for the modal logics K,D,T, and S4	0
Development of virtual sensors using multi-plant data for wastewater treatment applications: a case study on nitrogen prediction in effluents	0
Correction to: Decidability of interpretability logics IL M0 and IL W*	0
Unsupervised AI-based water consumption classification from time series data	0
An ‘elementary’ perspective on reasoning about probability spaces	0
Editorial: Special Issue CISIS 2021	0
27th Workshop on Logic, Language, Information and Computation	0
Anomaly detection comparison for photo-paroxysmal response detection	0
Płonka adjunction	0
Inferential knowledge and epistemic dimensions	0
Characteristics of structurally finite classes of order-preserving three-valued logic maps	0
On maximal order type of the lexicographic product	0
Exploratory techniques to analyse Ecuador's tourism industry	0
Base-extension semantics for modal logic	0
Contact semilattices	0
Symmetric and conflated intuitionistic logics	0
Construction of canonical models for K45 and weaker systems	0
Another neighbourhood semantics for intuitionistic logic	0
Knowledge and ignorance in Belnap–Dunn logic	0
Report on the exact methods for finding minimum-sized DFA	0
A non-stressful vision-based method for weighing live lambs	0
Editorial: Special issue HAIS20	0
Evaluating the Impact of Different Feature as a Counter Data Aggregation approaches on the Performance of NIDSs and Their Selected Features	0
Quantum entanglement in brain neuronal circuitry	0
Logical foundations: Personal perspective	0
Negation-cohesive connectives: a generalization of connexivity	0
A note on cut-elimination for intuitionistic logic with actuality	0
Black widow optimization for reducing the target uncertainties in localization wireless sensor networks	0
Neutrosophic 2-absorbing primary ideals on lattices	0
MLP neural networks for accelerated pollution prediction in environmental monitoring systems	0
Connexive arithmetic formulated relevantly	0
A new proposal to speed up one-class projectionist techniques	0
FCA-based reasoning for privacy	0
Tracking and classification performances in the bio-inspired asymmetric and symmetric networks	0
Predicting insurance claims through a variety of data mining techniques: facing lots of missing values and moderate class-imbalanced levels	0
Constructive theories through a modal lens	0
On the method of transforming a nonlocal boundary value problem into a Cauchy problem for a second order ordinary differential equation	0
Beta-Hebbian Learning to enhance unsupervised exploratory visualizations of Android malware families	0
ElectrApp: Deep learning framework to enhance cardiac arrhythmia detection	0
Investigation of the solution of a half-order elliptic type equation with non-local boundary condition	0
Reflections on the scope of totally grounded analogies	0
Interrogative logic as underlying logic in scientific practices	0
Iterated probability revision and the limitations of dyadic probability	0
Correction to: An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices	0
Sorites and the Ship of Theseus: a logic of fuzzy identity	0
A didactic overview of Transformer applications: model variations and user guidelines	0
Clustering techniques performance comparison for predicting the battery state of charge: A hybrid model approach	0
Some properties of T-supplemented modules	0
Cybersecurity trends in cooperative, connected and automated mobility	0
Gentzen-type sequent calculus for modal logic S5	0
Editorial: Special Issue HAIS 2021	0
Logical reduction of relations: From relational databases to Peirce’s reduction thesis	0
An iterative algorithm for determining contact-rate parameters in individual-based malware propagation models	0
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices	0
A systematic literature review of unsupervised learning algorithms for anomalous traffic detection based on flows	0
Algebraic structures formalizing the logic with unsharp implication and negation	0
Quantifiers in connexive logic (in general and in particular)	0
Proving properties of binary classification neural networks via Łukasiewicz logic	0
The d-elements of precoherent preidempotent quantales and their applications	0
31st workshop on logic, language, information, and computation (WoLLIC 2025)	0
A logical framework for data-driven reasoning	0
Imagelytics suite: deep learning-powered image classification for bioassessment in desktop and web environments	0
Hyperarithmetical complexity of infinitary action logic with multiplexing	0
Microservices architecture to enable an open platform for realizing zero defects in cyber-physical manufacturing	0
Branching Time Axiomatized With the Use of Change Operators	0
Representations of regular double Stone algebras: theory and applications	0
A probabilistic temporal epistemic logic: Strong completeness	0
Feature combination from different mammogram perspectives to improve lesion classification	0
An atom’s worth of anonymity	0
A tool for generating and evaluating synthetic embryo development videos using generative models	0
Editorial: Special issue ISA 2024	0
A novel memetic algorithm for solving the generalized traveling salesman problem	0
Unification in subsystems of polymodal provability logic GLP	0
Model-based abductive cognition: What thought experiments teach us	0
Ensemble-based fake news and disinformation detection using crowdsourced dataset	0
Comparing deep neural networks to tree-based machine learning methods for anomaly detection in IIoT	0
Cyclic proofs for the first-order µ-calculus	0
Parsimony search in small high-dimensional datasets with HYB-PARSIMONY	0
A note on dual Dedekind finiteness	0
Constructions of general overlap and grouping functions on algebras of infinite-valued Łukasiewicz logic	0
On elementary equivalence of real semigroups of preordered rings	0
A variable neighbourhood search for minimization of operation times through warehouse layout optimization	0
Editorial: Special Issue HAIS 2022	0
From simple to complex: a sequential method for enhancing time series forecasting with deep learning	0