Logic Journal of the Igpl

Article	Citations
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	26
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs	16
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	14
On the relationships between some meta-mathematical properties of arithmetical theories	13
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	12
Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-19	11
A detailed analysis of the interpretability of Convolutional Neural Networks for text classification	11
Detection of transiting exoplanets and phase-folding their host star’s light curves from K2 data with 1D-CNN	8
Coatoms, molecules, and creators in MTL-algebras and their counterparts in multivalued logics	8
A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence	7
Online, computable and punctual structure theory	7
The logics of individual Medvedev frames	7
A probabilistic temporal epistemic logic: Decidability	5
Another remark on connexivity and set theory	5
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	5
Hyperintensional models for non-congruential modal logics	4
Aristotle’s dilemma	4
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation	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	4
Gaussian process-based analysis of the nitrogen dioxide at Madrid Central Low Emission Zone	4
An observer-based approach to the sorites paradox and the logic derived from that	4

A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem	4
The third order Nickel Fibonacci numbers	4
A new approach for writer verification based on segments of handwritten graphemes	4
A novel variable neighborhood descent algorithm for service restoration in radial electrical distribution networks	3
The early history of formal diagonalization	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
Combining statistical dialog management and intent recognition for enhanced response selection	3
Optimizing wastewater treatment plants with advanced feature selection and sensor technologies	3
Tabu search and genetic algorithm in rims production process assignment	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
An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices	3
Explanatory frameworks in complex change and resilience system modelling	3
Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras	3
Modified LDA vector and feedback analysis for short query Information Retrieval systems	3
Towards a polarized semantics for assertion and denial	3
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices	3
A new completeness proof at the propositional level for mbC and some of its extensions	2
On algebraic and topological semantics of the modal logic of common knowledge S4CI	2
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation	2
Inferential-connexive mixed logics	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
The application of artificial neural networks to forecast financial time series	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
Expressing knowledge as linked data by FOOL	2
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison	2
The limitless first incompleteness theorem	2
John Crossley: A life intellectual	2
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	2
Constructive aspects of Riemann’s permutation theorem for series	2
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach	2
Chlorophyll-α forecasting using LSTM, bidirectional LSTM and GRU networks in El Mar Menor (Spain)	2
A support vector regression model for time series forecasting of the COMEX copper spot price	2
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	2
Base-extension semantics for S5 modal logic	2
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0	2
Functoriality of the Schmidt construction	1
A robot-based surveillance system for recognising distress hand signal	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
First-order logic of change	1
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	1
Labelled proof systems for existential reasoning	1
Decidability of quantum modal logic	1
Two semantic interpretations of probabilities in description logics of typicality	1
The logic of conditionals on outback trails	1
A novel method for anomaly detection using beta Hebbian learning and principal component analysis	1
On directional accuracy of some methods to forecast time series of cybersecurity aggregates	1

From simple to complex: a sequential method for enhancing time series forecasting with deep learning	1
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries	1
Logic of informal provability with truth values	1
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning	1
Unsupervised network traffic anomaly detection with deep autoencoders	1
Finite axiomatizability of logics of distributive lattices with negation	1
Remarks about the unification types of some locally tabular normal modal logics	1
AGV fuzzy control optimized by genetic algorithms	1
Knowledge and ignorance in Belnap–Dunn logic	1
Abduction and analogies in linguistic reconstruction inferences	1
Generic reasoning: A programmatic sketch	1
The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae	1
Functional completeness and primitive positive decomposition of relations on finite domains	1
Computable operators on left–c.e. reals and their continuity properties	1
Generalised Leonardo numbers	1
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings	1
Restriction in Program Algebra	1
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	1
Design and implementation of parallel self-adaptive differential evolution for global optimization	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
Jónsson-style canonicity in distributive modal µ-calculus	1
Embedded feature selection for neural networks via learnable drop layer	1
Quantum modal logic	1
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers	1
Randomness study of the concatenation of generalized sequences	1
Modality across different logics	1
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network	1
How did Avicenna understand the Barcan formulas?	1
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems	1
Logics and collaboration	1
A comparative study of neural network architectures for software vulnerability forecasting	1
Undecidability of admissibility in the product of two Alt logics	1
Editorial: Special issue SOCO 2020	1
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	1
Modal semantics for reasoning with probability and uncertainty	1
Editorial: Special issue ISA 2023	1
Kolmogorov and Kuroda translations into basic predicate logic	0
Who finds the short proof?	0
Hyperarithmetical complexity of infinitary action logic with multiplexing	0
Editorial: Special Issue CISIS 2021	0
Network security situation awareness forecasting based on statistical approach and neural networks	0
Logic, co-ordination and the envelope of our beliefs	0
On intermediate justification logics	0
The finite sequences and the partitions whose members are finite of a set	0
Paraconsistentization and many-valued logics	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
Predictive maintenance of vehicle fleets through hybrid deep learning-based ensemble methods for industrial IoT datasets	0
Blockchain-based land registry platforms: a survey on their implementation and potential challenges	0
On registration methods for SLAM with low resolution LiDAR sensor	0
Combination of fuzzy control and reinforcement learning for wind turbine pitch control	0
Sign-based image criteria for social interaction visual question answering	0
Contact semilattices	0
Evaluating the Impact of Different Feature as a Counter Data Aggregation approaches on the Performance of NIDSs and Their Selected Features	0
Cyclic proofs for the first-order µ-calculus	0
The fixed points of belief and knowledge	0
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices	0
Gentzen-type sequent calculus for modal logic S5	0
Another neighbourhood semantics for intuitionistic logic	0
Beta-Hebbian Learning to enhance unsupervised exploratory visualizations of Android malware families	0
Neural architecture search for the estimation of relative positioning of the autonomous mobile robot	0
Sharpening complexity results in quantified probability logic	0
An innovative framework for supporting content-based authorship identification and analysis in social media networks	0
The spectra of quasi-Boolean algebras	0
A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables	0
Ethereum-based decentralized car rental system	0
Model-based abductive cognition: What thought experiments teach us	0
Filtering non-balanced data using an evolutionary approach	0
Iterated probability revision and the limitations of dyadic probability	0
27th Workshop on Logic, Language, Information and Computation	0
Report on the exact methods for finding minimum-sized DFA	0
Editorial: Special issue SOCO 2021	0
PhrasIS: Phrase Inference and Similarity benchmark	0
On structural proof theory of the modal logic K+ extended with infinitary derivations	0
An atom’s worth of anonymity	0
Accountability as a service for robotics: Performance assessment of different accountability strategies for autonomous robots	0
Clustering techniques performance comparison for predicting the battery state of charge: A hybrid model approach	0
Inferential knowledge and epistemic dimensions	0
Do predictions destroy predictability? A study focusing on stock markets	0
Fake news detection platform—conceptual architecture and prototype	0

Constructive theories through a modal lens	0
SPECIAL ISSUE CISIS 2020-IGPL	0
Simple sequent systems for the modal logics K,D,T, and S4	0
Płonka adjunction	0
Logical foundations: Personal perspective	0
The higher dimensional propositional calculus	0
Proving properties of binary classification neural networks via Łukasiewicz logic	0
ElectrApp: Deep learning framework to enhance cardiac arrhythmia detection	0
Tracking and classification performances in the bio-inspired asymmetric and symmetric networks	0
Blockchain self-update smart contract for supply chain traceability with data validation	0
Base-extension semantics for modal logic	0
Predicting insurance claims through a variety of data mining techniques: facing lots of missing values and moderate class-imbalanced levels	0
Involving cognitive science in model transformation for description logics	0
A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4	0
Detection and nudge-intervention on sensitive information in social networks	0
Algebraic structures formalizing the logic with unsharp implication and negation	0
A variable neighbourhood search for minimization of operation times through warehouse layout optimization	0
Virtual active power sensor for eolic self-consumption installations based on wind-related variables	0
Influence of autoencoder latent space on classifying IoT CoAP attacks	0
Robust schedules for tardiness optimization in job shop with interval uncertainty	0
Interrogative logic as underlying logic in scientific practices	0
Linear temporal justification logics with past and future time modalities	0
The use of logic and argumentation in therapy of sex offenders	0
Amalgamation and Robinson property in universal algebraic logic	0
Model checking distributed temporal logic	0
A probabilistic temporal epistemic logic: Strong completeness	0
Algorithmic correspondence for hybrid logic with binder	0
Sahlqvist completeness theory for hybrid logic with downarrow binder	0
On split-octonionic curves	0
Data dimensionality reduction for an optimal switching mode classification applied to a step-down power converter	0
Proof-carrying parameters in certified symbolic execution	0
Entity alignment via summary and attribute embeddings	0
Black widow optimization for reducing the target uncertainties in localization wireless sensor networks	0
A characterization of crossed self-similarity on crossed modules in L-algebras	0
Optimized network for detecting burr-breakage in images of milling workpieces	0
Security in advanced metering infrastructures: Lightweight cryptography	0
Characteristics of structurally finite classes of order-preserving three-valued logic maps	0
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms	0
Automatic detection of faults in industrial production of sandwich panels using Deep Learning techniques	0
Editorial: Special issue SOCO-CISIS 2018-IGPL	0
Boundedly finite-to-one functions	0
Genuine paracomplete logics	0
Symmetric and conflated intuitionistic logics	0
Recollections of logicians, mathematicians and philosophers	0
Surrogate-based optimization of learning strategies for additively regularized topic models	0
Special Issue: SOCO–CISIS 2019-IGPL	0
Editorial: Special Issue HAIS 2021	0
The relevance logic of Boolean groups	0
Editorial: Special issue HAIS20	0
Negation-cohesive connectives: a generalization of connexivity	0
Free choice permission, legitimization and relating semantics	0
Recurrent variational autoencoder approach for remaining useful life estimation	0
The d-elements of precoherent preidempotent quantales and their applications	0
Investigating growth models with linearization domain analysis and residual analysis	0
On Nelson’s conception of consistency	0
On elementary equivalence of real semigroups of preordered rings	0
A correspondence theorem for interpretability logic with respect to Verbrugge semantics	0
A logical framework for data-driven reasoning	0
31st workshop on logic, language, information, and computation (WoLLIC 2025)	0
Unification types in Euclidean modal logics	0
Exploratory techniques to analyse Ecuador's tourism industry	0
Logical reduction of relations: From relational databases to Peirce’s reduction thesis	0
Binary modal logic and unary modal logic	0
Imagelytics suite: deep learning-powered image classification for bioassessment in desktop and web environments	0
Study of infostealers using Graph Neural Networks	0
Modal expansions of ririgs	0
Algebraic logic for the negation fragment of classical logic	0
Using Multi-Objective Optimization to build non-Random Forest	0
A three-stage hybrid clustering system for diagnosing children with primary headache disorder	0
Realtime polymorphic malicious behavior detection in blockchain-based smart contracts	0
LSTM vs CNN in real ship trajectory classification	0
Complexity of the interpretability logics ILW and ILP	0
Constructions of general overlap and grouping functions on algebras of infinite-valued Łukasiewicz logic	0
Correction to: Decidability of interpretability logics IL M0 and IL W*	0
An efficient IoT forensic approach for the evidence acquisition and analysis based on network link	0
Combinators as presheaves	0
Intelligent model for active power prediction of a small wind turbine	0
A novel memetic algorithm for solving the generalized traveling salesman problem	0
Hourly pollutants forecasting using a deep learning approach to obtain the AQI	0
On maximal order type of the lexicographic product	0
FCA-based reasoning for privacy	0
Non-empty open intervals of computably enumerable sQ1-degrees	0
Behaviour of Machine Learning algorithms in the classification of energy consumption in school buildings	0
Structurally complete finitary extensions of positive Łukasiewicz logic	0
Quantifiers in connexive logic (in general and in particular)	0
Branching Time Axiomatized With the Use of Change Operators	0
The logic languages of the TPTP world	0
Streaming big time series forecasting based on nearest similar patterns with application to energy consumption	0
Towards enhanced monitoring framework with smart predictions	0
Microservices architecture to enable an open platform for realizing zero defects in cyber-physical manufacturing	0
A non-stressful vision-based method for weighing live lambs	0
Cybersecurity trends in Cooperative, Connected and Automated Mobility	0
What is mathematical logic? An Australian odyssey	0
A hybrid machine learning system to impute and classify a component-based robot	0
An ‘elementary’ perspective on reasoning about probability spaces	0