Logic Journal of the Igpl

Article	Citations
Symmetric and conflated intuitionistic logics	14
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	12
Editorial: Special issue ISA 2023	11
Type Theory with Opposite Types: A Paraconsistent Type Theory	11
On algebraic and topological semantics of the modal logic of common knowledge S4CI	10
A non-stressful vision-based method for weighing live lambs	10
Axioms for a Logic of Consequential Counterfactuals	9
Special Issue: SOCO–CISIS 2019-IGPL	8
An atom’s worth of anonymity	8
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case	7
Sample logic	7
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs	6
Fake news detection platform—conceptual architecture and prototype	6
The application of artificial neural networks to forecast financial time series	5
SPECIAL ISSUE CISIS 2020-IGPL	5
Editorial: Special issue HAIS20	5
A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence	5
A detailed analysis of the interpretability of Convolutional Neural Networks for text classification	5
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	4
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison	4
Adaptive structure seeking dialogues	4
Hyperarithmetical complexity of infinitary action logic with multiplexing	4
Structural analysis of code-based algorithms of the NIST post-quantum call	4
Microservices architecture to enable an open platform for realizing zero defects in cyber-physical manufacturing	3
Do predictions destroy predictability? A study focusing on stock markets	3

Genuine paracomplete logics	3
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	3
The key universal quality of logical abductive inferences: Does optimization of eco-cognitive situatedness supersede other criteria like minimality, consistency, relevance and plausibility?	3
On the relationships between some meta-mathematical properties of arithmetical theories	3
Expressing knowledge as linked data by FOOL	3
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach	3
What is mathematical logic? An Australian odyssey	2
Restriction in Program Algebra	2
TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection	2
Global and saturated probabilistic approximations based on generalized maximal consistent blocks	2
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review	2
Estimation of distribution algorithms with solution subset selection for the next release problem	2
Embedded feature selection for neural networks via learnable drop layer	2
The fixed points of belief and knowledge	2
Logic of informal provability with truth values	2
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem	2
Abduction and analogies in linguistic reconstruction inferences	2
A game theoretic decision forest for feature selection and classification	2
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation	2
PBIL for optimizing inception module in convolutional neural networks	2
John Crossley: A life intellectual	2
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	2
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms	2
Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-19	2
Detection of transiting exoplanets and phase-folding their host star’s light curves from K2 data with 1D-CNN	2
Base-extension semantics for modal logic	1
Surrogate-based optimization of learning strategies for additively regularized topic models	1
Hyperintensional models for non-congruential modal logics	1
Two semantic interpretations of probabilities in description logics of typicality	1
Behaviour of Machine Learning algorithms in the classification of energy consumption in school buildings	1
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	1
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices	1
Algebraic logic for the negation fragment of classical logic	1
Report on the exact methods for finding minimum-sized DFA	1
Unification with parameters in the implication fragment of classical propositional logic	1
Inferential-connexive mixed logics	1
Contrariety re-encountered: nonstandard contraries and internal negation**	1
A characterization of crossed self-similarity on crossed modules in L-algebras	1
Online, computable and punctual structure theory	1
Restricted Rules of Inference and Paraconsistency	1
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	1
Generic reasoning: A programmatic sketch	1
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	1
A probabilistic temporal epistemic logic: Decidability	1
The cardinality of the partitions of a set in the absence of the Axiom of Choice	1
Undecidability of admissibility in the product of two Alt logics	1
Aristotle’s dilemma	1
Remarks on uniform interpolation property	1
A robot-based surveillance system for recognising distress hand signal	1
Cybersecurity trends in Cooperative, Connected and Automated Mobility	1

Involving cognitive science in model transformation for description logics	1
Branching Time Axiomatized With the Use of Change Operators	1
Algebraic Properties of Paraorthomodular Posets	1
Modality across different logics	1
Interrogative logic as underlying logic in scientific practices	1
Editorial: Special issue SOCO-CISIS 2018-IGPL	1
Inferential knowledge and epistemic dimensions	1
Some results for min matrices associated with Chebyshev polynomials	1
Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices	1
Algebraic structures formalizing the logic with unsharp implication and negation	1
Modal semantics for reasoning with probability and uncertainty	1
Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images	1
Editorial: Special issue SOCO 2020	1
Remarks about the unification types of some locally tabular normal modal logics	1
A modification proposal for the reconciliation mechanism of the key exchange algorithm NewHope	1
Evaluating the Impact of Different Feature as a Counter Data Aggregation approaches on the Performance of NIDSs and Their Selected Features	0
Logical reduction of relations: From relational databases to Peirce’s reduction thesis	0
A support vector regression model for time series forecasting of the COMEX copper spot price	0
On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions	0
Boundedly finite-to-one functions	0
A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables	0
On split-octonionic curves	0
Study of infostealers using Graph Neural Networks	0
FCA-based reasoning for privacy	0
Logical foundations: Personal perspective	0
Predicting insurance claims through a variety of data mining techniques: facing lots of missing values and moderate class-imbalanced levels	0
27th Workshop on Logic, Language, Information and Computation	0
Streaming big time series forecasting based on nearest similar patterns with application to energy consumption	0
Model-based abductive cognition: What thought experiments teach us	0
Algorithmic correspondence for hybrid logic with binder	0
Non-empty open intervals of computably enumerable sQ1-degrees	0
Free choice permission, legitimization and relating semantics	0
Ethereum-based decentralized car rental system	0
Knowledge and ignorance in Belnap–Dunn logic	0
A probabilistic temporal epistemic logic: Strong completeness	0
Proving properties of binary classification neural networks via Łukasiewicz logic	0
Security in advanced metering infrastructures: Lightweight cryptography	0
Data streams classification using deep learning under different speeds and drifts	0
Accountability as a service for robotics: Performance assessment of different accountability strategies for autonomous robots	0
How did Avicenna understand the Barcan formulas?	0
Model checking distributed temporal logic	0
A novel variable neighborhood descent algorithm for service restoration in radial electrical distribution networks	0
Tracking and classification performances in the bio-inspired asymmetric and symmetric networks	0
Chlorophyll-α forecasting using LSTM, bidirectional LSTM and GRU networks in El Mar Menor (Spain)	0
Connexive logic: new old challenges	0
Editorial: Special Issue HAIS 2021	0
The logic of conditionals on outback trails	0
Modal expansions of ririgs	0
Cyclic proofs for the first-order µ-calculus	0
Non-contingency in a paraconsistent setting	0
Finite axiomatizability of logics of distributive lattices with negation	0
Filtering non-balanced data using an evolutionary approach	0
A hybrid machine learning system to impute and classify a component-based robot	0
Sahlqvist completeness theory for hybrid logic with downarrow binder	0
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices	0
Combination of fuzzy control and reinforcement learning for wind turbine pitch control	0
Intelligent model for active power prediction of a small wind turbine	0
Realtime polymorphic malicious behavior detection in blockchain-based smart contracts	0
Influence of autoencoder latent space on classifying IoT CoAP attacks	0
On registration methods for SLAM with low resolution LiDAR sensor	0
On structural proof theory of the modal logic K+ extended with infinitary derivations	0
Exploiting multimodal biometrics for enhancing password security	0
Recurrent variational autoencoder approach for remaining useful life estimation	0
On Nelson’s conception of consistency	0
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	0
Investigating growth models with linearization domain analysis and residual analysis	0
Complexity of the interpretability logics ILW and ILP	0
Combining statistical dialog management and intent recognition for enhanced response selection	0
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries	0
Data dimensionality reduction for an optimal switching mode classification applied to a step-down power converter	0
Beta-Hebbian Learning to enhance unsupervised exploratory visualizations of Android malware families	0
Unification types in Euclidean modal logics	0
On intermediate justification logics	0
Quantum modal logic	0
Blockchain self-update smart contract for supply chain traceability with data validation	0
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems	0
The relevance logic of Boolean groups	0
A new approach for writer verification based on segments of handwritten graphemes	0
Towards enhanced monitoring framework with smart predictions	0
Logic, co-ordination and the envelope of our beliefs	0

The finite sequences and the partitions whose members are finite of a set	0
Analyzing time series to forecast hot rolled coil steel price in Spain by means of neural non-linear models	0
Structurally complete finitary extensions of positive Łukasiewicz logic	0
The d-elements of precoherent preidempotent quantales and their applications	0
The use of logic and argumentation in therapy of sex offenders	0
Functoriality of the Schmidt construction	0
An ‘elementary’ perspective on reasoning about probability spaces	0
Tarski’s Undefinability Theorem and the Diagonal Lemma	0
Characteristics of structurally finite classes of order-preserving three-valued logic maps	0
Correction to: Decidability of interpretability logics IL M0 and IL W*	0
Logics of Ignorance and Being Wrong	0
Design and implementation of parallel self-adaptive differential evolution for global optimization	0
Randomness study of the concatenation of generalized sequences	0
Quantifiers in connexive logic (in general and in particular)	0
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation	0
Undecidability of the Logic of Partial Quasiary Predicates	0
Hourly pollutants forecasting using a deep learning approach to obtain the AQI	0
Network security situation awareness forecasting based on statistical approach and neural networks	0
A logical framework for data-driven reasoning	0
Negation-cohesive connectives: a generalization of connexivity	0
Gaussian process-based analysis of the nitrogen dioxide at Madrid Central Low Emission Zone	0
First-order logic of change	0
Automatic detection of faults in industrial production of sandwich panels using Deep Learning techniques	0
Imagelytics suite: deep learning-powered image classification for bioassessment in desktop and web environments	0
Proof-carrying parameters in certified symbolic execution	0
Using Multi-Objective Optimization to build non-Random Forest	0
On elementary equivalence of real semigroups of preordered rings	0
∞-Groupoid Generated by an Arbitrary Topological λ-Model	0
Computability and the Symmetric Difference Operator	0
The logic languages of the TPTP world	0
A comparative study of neural network architectures for software vulnerability forecasting	0
Constructive aspects of Riemann’s permutation theorem for series	0
Fragments of Quasi-Nelson: The Algebraizable Core	0
Detection and nudge-intervention on sensitive information in social networks	0
Modified LDA vector and feedback analysis for short query Information Retrieval systems	0
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning	0
Predictive maintenance of vehicle fleets through hybrid deep learning-based ensemble methods for industrial IoT datasets	0
Płonka adjunction	0
The spectra of quasi-Boolean algebras	0
Who finds the short proof?	0
Binary modal logic and unary modal logic	0
A correspondence theorem for interpretability logic with respect to Verbrugge semantics	0
Design of a New Distributed NoSQL Database with Distributed Hash Tables	0
Black widow optimization for reducing the target uncertainties in localization wireless sensor networks	0
Amalgamation and Robinson property in universal algebraic logic	0
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers	0
A three-stage hybrid clustering system for diagnosing children with primary headache disorder	0
Paraconsistentization and many-valued logics	0
Towards a polarized semantics for assertion and denial	0
Editorial: Special Issue CISIS 2021	0
Kolmogorov and Kuroda translations into basic predicate logic	0
Another neighbourhood semantics for intuitionistic logic	0
The higher dimensional propositional calculus	0
On the bi-periodic (k,s)—Jacobsthal numbers via the Fibonacci–Hörner decomposition of matrix powers	0
Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras	0
Source code obfuscation with genetic algorithms using LLVM code optimizations	0
Blockchain-based land registry platforms: a survey on their implementation and potential challenges	0
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0	0
Unsupervised network traffic anomaly detection with deep autoencoders	0
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	0
Functional completeness and primitive positive decomposition of relations on finite domains	0
Detection, exploitation and mitigation of memory errors	0
An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices	0
Logics and collaboration	0
On weak filters and ultrafilters: Set theory from (and for) knowledge representation	0
Explanatory frameworks in complex change and resilience system modelling	0
Neural architecture search for the estimation of relative positioning of the autonomous mobile robot	0
Exploratory techniques to analyse Ecuador's tourism industry	0
Sign-based image criteria for social interaction visual question answering	0
Optimized network for detecting burr-breakage in images of milling workpieces	0
Contact semilattices	0
An efficient IoT forensic approach for the evidence acquisition and analysis based on network link	0
Linear temporal justification logics with past and future time modalities	0
Entity alignment via summary and attribute embeddings	0
Sharpening complexity results in quantified probability logic	0
Clustering techniques performance comparison for predicting the battery state of charge: A hybrid model approach	0
Axiomatization of modal logic with counting	0
Labelled proof systems for existential reasoning	0
The p-Frobenius number for the triple of certain quadratic numbers	0
The third order Nickel Fibonacci numbers	0
Jónsson-style canonicity in distributive modal µ-calculus	0
Virtual active power sensor for eolic self-consumption installations based on wind-related variables	0
Editorial: Special issue HAIS 2018	0
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae	0
The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae	0
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network	0
Constructive theories through a modal lens	0
A hybrid genetic algorithm, list-based simulated annealing algorithm, and different heuristic algorithms for the travelling salesman problem	0
A novel memetic algorithm for solving the generalized traveling salesman problem	0
Crisp Bi-Gödel modal logic and its paraconsistent expansion	0
A novel method for anomaly detection using beta Hebbian learning and principal component analysis	0
An innovative framework for supporting content-based authorship identification and analysis in social media networks	0
ElectrApp: Deep learning framework to enhance cardiac arrhythmia detection	0
Semantical investigations on non-classical logics with recovery operators: negation	0
AGV fuzzy control optimized by genetic algorithms	0