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	27
Coatoms, molecules, and creators in MTL-algebras and their counterparts in multivalued logics	16
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	15
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs	15
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	14
A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence	12
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review	12
PBIL for optimizing inception module in convolutional neural networks	11
Completeness of two fragments of a logic for conditional strategic reasoning	11
The logics of individual Medvedev frames	8
Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-19	8
A detailed analysis of the interpretability of Convolutional Neural Networks for text classification	8
On the relationships between some meta-mathematical properties of arithmetical theories	7
An observer-based approach to the sorites paradox and the logic derived from that	7
Online, computable and punctual structure theory	7
Aristotle’s dilemma	6
A probabilistic temporal epistemic logic: Decidability	6
Another remark on connexivity and set theory	6
Remarks on uniform interpolation property	5
TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection	5
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	5
Hyperintensional models for non-congruential modal logics	5
A novel variable neighborhood descent algorithm for service restoration in radial electrical distribution networks	4
Tabu search and genetic algorithm in rims production process assignment	4
Some explicit values of an alternative q -multiple zeta function at roots of unity	4

Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation	4
Gaussian process-based analysis of the nitrogen dioxide at Madrid Central Low Emission Zone	4
The third order Nickel Fibonacci numbers	4
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem	4
Non-contingency in a paraconsistent setting	4
A new approach for writer verification based on segments of handwritten graphemes	4
Explanatory frameworks in complex change and resilience system modelling	4
Semantical Investigations on Non-Classical Logics With Recovery Operators: Negation	4
Optimizing wastewater treatment plants with advanced feature selection and sensor technologies	3
Editorial: Special issue in honour of John Newsome Crossley	3
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae	3
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0	3
An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices	3
Modified LDA vector and feedback analysis for short query Information Retrieval systems	3
The early history of formal diagonalization	3
Combining statistical dialog management and intent recognition for enhanced response selection	3
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	3
Constructive aspects of Riemann’s permutation theorem for series	3
Towards a polarized semantics for assertion and denial	3
Crisp Bi-Gödel Modal Logic and Its Paraconsistent Expansion	3
Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras	3
On minimal pairs of quasi-degrees	3
On the bi-periodic (k,s)—Jacobsthal numbers via the Fibonacci–Hörner decomposition of matrix powers	3
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices	3
Chlorophyll-α forecasting using LSTM, bidirectional LSTM and GRU networks in El Mar Menor (Spain)	3
On algebraic and topological semantics of the modal logic of common knowledge S4CI	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 cardinality of the partitions of a set in the absence of the Axiom of Choice	2
Base-extension semantics for S5 modal logic	2
Detection, exploitation and mitigation of memory errors	2
Analyzing time series to forecast hot rolled coil steel price in Spain by means of neural non-linear models	2
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation	2
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	2
The limitless first incompleteness theorem	2
A support vector regression model for time series forecasting of the COMEX copper spot price	2
A new completeness proof at the propositional level for mbC and some of its extensions	2
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach	2
Expressing knowledge as linked data by FOOL	2
John Crossley: A life intellectual	2
Inferential-connexive mixed logics	2
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network	2
The application of artificial neural networks to forecast financial time series	2
Editorial: Special Issue SOCO 2022	2
Abduction and analogies in linguistic reconstruction inferences	1
Finite axiomatizability of logics of distributive lattices with negation	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
Labelled proof systems for existential reasoning	1
Computable operators on left–c.e. reals and their continuity properties	1
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning	1

The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries	1
Generic reasoning: A programmatic sketch	1
Unsupervised network traffic anomaly detection with deep autoencoders	1
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	1
Logic of informal provability with truth values	1
Undecidability of admissibility in the product of two Alt logics	1
Predictive maintenance of vehicle fleets through hybrid deep learning-based ensemble methods for industrial IoT datasets	1
Generalised Leonardo numbers	1
Decidability of quantum modal logic	1
Detection and nudge-intervention on sensitive information in social networks	1
AGV fuzzy control optimized by genetic algorithms	1
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	1
Functoriality of the Schmidt construction	1
On directional accuracy of some methods to forecast time series of cybersecurity aggregates	1
The logic of conditionals on outback trails	1
First-order logic of change	1
From simple to complex: a sequential method for enhancing time series forecasting with deep learning	1
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings	1
How did Avicenna understand the Barcan formulas?	1
A comparative study of neural network architectures for software vulnerability forecasting	1
Modality across different logics	1
Constructing Θ-Ξ functions via multiplicative generators on a completely distributive lattice	1
Modal semantics for reasoning with probability and uncertainty	1
Remarks about the unification types of some locally tabular normal modal logics	1
Functional completeness and primitive positive decomposition of relations on finite domains	1
Binary modal logic and unary modal logic	1
Exploiting multimodal biometrics for enhancing password security	1
Jónsson-style canonicity in distributive modal µ-calculus	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
Editorial: Special issue ISA 2023	1
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	1
The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae	1
Knowledge and ignorance in Belnap–Dunn logic	1
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems	1
A novel method for anomaly detection using beta Hebbian learning and principal component analysis	1
Design and implementation of parallel self-adaptive differential evolution for global optimization	1
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers	1
Embedded feature selection for neural networks via learnable drop layer	1
A robot-based surveillance system for recognising distress hand signal	1
Editorial: Special issue SOCO 2020	1
Logics and collaboration	1
Restriction in Program Algebra	1
Two semantic interpretations of probabilities in description logics of typicality	1
A logical framework for data-driven reasoning	1
Randomness study of the concatenation of generalized sequences	1
Quantum modal logic	1
Sign-based image criteria for social interaction visual question answering	0
Realtime polymorphic malicious behavior detection in blockchain-based smart contracts	0
Predicting insurance claims through a variety of data mining techniques: facing lots of missing values and moderate class-imbalanced levels	0
Using Multi-Objective Optimization to build non-Random Forest	0
Blockchain self-update smart contract for supply chain traceability with data validation	0
Exploratory techniques to analyse Ecuador's tourism industry	0
Recollections of logicians, mathematicians and philosophers	0
Contact semilattices	0
Editorial: Special issue SOCO-CISIS 2018-IGPL	0
A novel memetic algorithm for solving the generalized traveling salesman problem	0
Blockchain-based land registry platforms: a survey on their implementation and potential challenges	0
Modal expansions of ririgs	0
Towards enhanced monitoring framework with smart predictions	0
Influence of autoencoder latent space on classifying IoT CoAP attacks	0
A characterization of crossed self-similarity on crossed modules in L-algebras	0
A probabilistic temporal epistemic logic: Strong completeness	0
Filtering non-balanced data using an evolutionary approach	0
Intelligent model for active power prediction of a small wind turbine	0
Amalgamation and Robinson property in universal algebraic logic	0
Surrogate-based optimization of learning strategies for additively regularized topic models	0
Algebraic structures formalizing the logic with unsharp implication and negation	0
Virtual active power sensor for eolic self-consumption installations based on wind-related variables	0
Sharpening complexity results in quantified probability logic	0
Editorial: Special Issue HAIS 2021	0
An atom’s worth of anonymity	0
Imagelytics suite: deep learning-powered image classification for bioassessment in desktop and web environments	0
Axiomatization of modal logic with counting	0
Involving cognitive science in model transformation for description logics	0
Iterated probability revision and the limitations of dyadic probability	0
Editorial: Special issue HAIS20	0
Data streams classification using deep learning under different speeds and drifts	0
The higher dimensional propositional calculus	0
Clustering techniques performance comparison for predicting the battery state of charge: A hybrid model approach	0
Investigation of the solution of a half-order elliptic type equation with non-local boundary condition	0

Algebraic logic for the negation fragment of classical logic	0
Kolmogorov and Kuroda translations into basic predicate logic	0
A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables	0
Hyperarithmetical complexity of infinitary action logic with multiplexing	0
Cyclic proofs for the first-order µ-calculus	0
On maximal order type of the lexicographic product	0
Editorial: Special Issue HAIS 2022	0
On Nelson’s conception of consistency	0
Negation-cohesive connectives: a generalization of connexivity	0
On elementary equivalence of real semigroups of preordered rings	0
Black widow optimization for reducing the target uncertainties in localization wireless sensor networks	0
Proving properties of binary classification neural networks via Łukasiewicz logic	0
Beta-Hebbian Learning to enhance unsupervised exploratory visualizations of Android malware families	0
ElectrApp: Deep learning framework to enhance cardiac arrhythmia detection	0
Gentzen-type sequent calculus for modal logic S5	0
A hybrid machine learning system to impute and classify a component-based robot	0
31st workshop on logic, language, information, and computation (WoLLIC 2025)	0
Evaluating the Impact of Different Feature as a Counter Data Aggregation approaches on the Performance of NIDSs and Their Selected Features	0
Constructions of general overlap and grouping functions on algebras of infinite-valued Łukasiewicz logic	0
PhrasIS: Phrase Inference and Similarity benchmark	0
Data dimensionality reduction for an optimal switching mode classification applied to a step-down power converter	0
Study of infostealers using Graph Neural Networks	0
The use of logic and argumentation in therapy of sex offenders	0
27th Workshop on Logic, Language, Information and Computation	0
Complexity of the interpretability logics ILW and ILP	0
Inferential knowledge and epistemic dimensions	0
Correction to: Decidability of interpretability logics IL M0 and IL W*	0
The spectra of quasi-Boolean algebras	0
Characteristics of structurally finite classes of order-preserving three-valued logic maps	0
Neural architecture search for the estimation of relative positioning of the autonomous mobile robot	0
Construction of canonical models for K45 and weaker systems	0
Interrogative logic as underlying logic in scientific practices	0
Robust schedules for tardiness optimization in job shop with interval uncertainty	0
Cybersecurity trends in cooperative, connected and automated mobility	0
Combinators as presheaves	0
Do predictions destroy predictability? A study focusing on stock markets	0
Quantifiers in connexive logic (in general and in particular)	0
A note on dual Dedekind finiteness	0
Entity alignment via summary and attribute embeddings	0
SPECIAL ISSUE CISIS 2020-IGPL	0
A constructive proof of the Craig’s interpolation theorem for QCiore	0
Model-based abductive cognition: What thought experiments teach us	0
Streaming big time series forecasting based on nearest similar patterns with application to energy consumption	0
Non-empty open intervals of computably enumerable sQ1-degrees	0
A non-stressful vision-based method for weighing live lambs	0
The relevance logic of Boolean groups	0
Automatic detection of faults in industrial production of sandwich panels using Deep Learning techniques	0
Fake news detection platform—conceptual architecture and prototype	0
On registration methods for SLAM with low resolution LiDAR sensor	0
Unification in subsystems of polymodal provability logic GLP	0
Network security situation awareness forecasting based on statistical approach and neural networks	0
The finite sequences and the partitions whose members are finite of a set	0
Investigating growth models with linearization domain analysis and residual analysis	0
Recurrent variational autoencoder approach for remaining useful life estimation	0
FCA-based reasoning for privacy	0
Logic, co-ordination and the envelope of our beliefs	0
An innovative framework for supporting content-based authorship identification and analysis in social media networks	0
Sorites and the Ship of Theseus: a logic of fuzzy identity	0
Model checking distributed temporal logic	0
The logic languages of the TPTP world	0
Constructive theories through a modal lens	0
A three-stage hybrid clustering system for diagnosing children with primary headache disorder	0
Ethereum-based decentralized car rental system	0
Editorial: Special Issue CISIS 2022	0
Paraconsistentization and many-valued logics	0
Another neighbourhood semantics for intuitionistic logic	0
LSTM vs CNN in real ship trajectory classification	0
On structural proof theory of the modal logic K+ extended with infinitary derivations	0
Accountability as a service for robotics: Performance assessment of different accountability strategies for autonomous robots	0
Branching Time Axiomatized With the Use of Change Operators	0
On intermediate justification logics	0
Proof-carrying parameters in certified symbolic execution	0
Boundedly finite-to-one functions	0
Sahlqvist completeness theory for hybrid logic with downarrow binder	0
Genuine paracomplete logics	0
Base-extension semantics for modal logic	0
The p-Frobenius number for the triple of certain quadratic numbers	0
Unification types in Euclidean modal logics	0
Security in advanced metering infrastructures: Lightweight cryptography	0
Report on the exact methods for finding minimum-sized DFA	0
An efficient IoT forensic approach for the evidence acquisition and analysis based on network link	0
Who finds the short proof?	0
Structurally complete finitary extensions of positive Łukasiewicz logic	0
What is mathematical logic? An Australian odyssey	0
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices	0
The d-elements of precoherent preidempotent quantales and their applications	0
Free choice permission, legitimization and relating semantics	0
Microservices architecture to enable an open platform for realizing zero defects in cyber-physical manufacturing	0
Symmetric and conflated intuitionistic logics	0
Logical foundations: Personal perspective	0
An ‘elementary’ perspective on reasoning about probability spaces	0
Special Issue: SOCO–CISIS 2019-IGPL	0
A variable neighbourhood search for minimization of operation times through warehouse layout optimization	0
Simple sequent systems for the modal logics K,D,T, and S4	0
Tracking and classification performances in the bio-inspired asymmetric and symmetric networks	0