Logic Journal of the Igpl

Article	Citations
Blockchain-based architecture for the control of logistics activities: Pharmaceutical utilities case study	17
Hybrid Intelligent Model to Predict the Remifentanil Infusion Rate in Patients Under General Anesthesia	15
Machine learning techniques for computer-based decision systems in the operating theatre: application to analgesia delivery	15
Abduction and diagrams	14
A hybrid fuzzy clustering approach for diagnosing primary headache disorder	12
A One-class Classifier Based on a Hybrid Topology to Detect Faults in Power Cells	11
Intelligent model for active power prediction of a small wind turbine	10
A hybrid genetic algorithm, list-based simulated annealing algorithm, and different heuristic algorithms for the travelling salesman problem	9
A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables	8
One-Class-Based Intelligent Classifier for Detecting Anomalous Situations During the Anesthetic Process	8
Intelligent models for movement detection and physical evolution of patients with hip surgery	8
Employees balance and stability as key points in organizational performance	8
A novel method for anomaly detection using beta Hebbian learning and principal component analysis	7
Modeling the Turbulent Wake Behind a Wall-Mounted Square Cylinder	7
Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images	6
Unsupervised network traffic anomaly detection with deep autoencoders	5
The logic of orthomodular posets of finite height	5
A three-stage hybrid clustering system for diagnosing children with primary headache disorder	5
A hybrid machine learning system to impute and classify a component-based robot	5
Blockchain-based land registry platforms: a survey on their implementation and potential challenges	5
∞-Groupoid Generated by an Arbitrary Topological λ-Model	4
Test Case Prioritization—ANT Algorithm With Faults Severity	4
Secure traveling salesman problem with intelligent transport systems features	4
Improving wearable-based fall detection with unsupervised learning	4
The logic languages of the TPTP world	4

Entity alignment via summary and attribute embeddings	4
Fragments of Quasi-Nelson: The Algebraizable Core	4
New Tableau Characterizations for Non-clausal MaxSAT Problem	4
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	4
Boolean negation and non-conservativity I: Relevant modal logics	3
Nelson’s logic ?	3
Hourly pollutants forecasting using a deep learning approach to obtain the AQI	3
A modified biogeography-based optimization algorithm with improved mutation operator for job shop scheduling problem with time lags	3
Fake news detection platform—conceptual architecture and prototype	3
Complexity of rule sets in mining incomplete data using characteristic sets and generalized maximal consistent blocks	3
Network security situation awareness forecasting based on statistical approach and neural networks	3
Cn algebras with Moisil possibility operators	3
A composite framework for supporting user emotion detection based on intelligent taxonomy handling	3
Air Pollution Monitoring Using WSN Nodes with Machine Learning Techniques: A Case Study	3
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories	3
Generation of Synthetic Data with Conditional Generative Adversarial Networks	3
An efficient IoT forensic approach for the evidence acquisition and analysis based on network link	3
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms	3
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case	3
Surrogate-based optimization of learning strategies for additively regularized topic models	2
Towards real-time DNA biometrics using GPU-accelerated processing	2
Boolean negation and non-conservativity III: the Ackermann constant	2
Parsimonious Modelling for Estimating Hospital Cooling Demand to Improve Energy Efficiency	2
A restricted second-order logic for non-deterministic poly-logarithmic time	2
A probabilistic temporal epistemic logic: Strong completeness	2
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning	2
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	2
Restricted Rules of Inference and Paraconsistency	2
The Impact of Different System Call Representations on Intrusion Detection	2
The subformula property of natural deduction derivations and analytic cuts	2
Algorithmic correspondence for hybrid logic with binder	2
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms	2
Free choice permission, legitimization and relating semantics	2
Logics of (In)sane and (Un)reliable Beliefs	2
The Effect of Iterative Learning Control on the Force Control of a Hydraulic Cushion	2
Uncertainty estimation in the forecasting of the 222Rn radiation level time series at the Canfranc Underground Laboratory	2
On bivalent semantics and natural deduction for some infectious logics	2
Undecidability of the Logic of Partial Quasiary Predicates	2
Cyclic proofs for the first-order µ-calculus	2
Robust schedules for tardiness optimization in job shop with interval uncertainty	2
Proof Systems for 3-valued Logics Based on Gödel’s Implication	2
Logic of informal provability with truth values	2
Elementary-base cirquent calculus II: Choice quantifiers	1
Biometric recognition system performance measures for lossy compression on EEG signals	1
Saturated models of first-order many-valued logics	1
Who Finds the Short Proof?	1
Branching Time Axiomatized With the Use of Change Operators	1
Time-stamped claim logic	1
On learning context-aware rules to link RDF datasets	1
Linear temporal justification logics with past and future time modalities	1

What is mathematical logic? An Australian odyssey	1
Lyndon’s interpolation property for the logic of strict implication	1
Type Theory with Opposite Types: A Paraconsistent Type Theory	1
On registration methods for SLAM with low resolution LiDAR sensor	1
Solving Highly Cyclic Distributed Optimization Problems Without Busting the Bank: A Decimation-based Approach	1
A new approach for writer verification based on segments of handwritten graphemes	1
A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic	1
Extensions of paraconsistent weak Kleene logic	1
Data streams classification using deep learning under different speeds and drifts	1
Gödel justification logics and realization	1
Proving properties of binary classification neural networks via Łukasiewicz logic	1
Unification with parameters in the implication fragment of classical propositional logic	1
Ethereum-based decentralized car rental system	1
A modification proposal for the reconciliation mechanism of the key exchange algorithm NewHope	1
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae	1
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach	1
The Russell-Prawitz embedding and the atomization of universal instantiation	1
Crisp Bi-Gödel modal logic and its paraconsistent expansion	1
Distal learning of the incremental capacity curve of a LiFePO4 battery	1
Design of a New Distributed NoSQL Database with Distributed Hash Tables	1
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	1
Orthogonal Learning Firefly Algorithm	1
Logics of Ignorance and Being Wrong	1
The cardinality of the partitions of a set in the absence of the Axiom of Choice	1
Tarski’s Undefinability Theorem and the Diagonal Lemma	1
A probabilistic temporal epistemic logic: Decidability	1
Detection and nudge-intervention on sensitive information in social networks	1
Remarks about the unification types of some locally tabular normal modal logics	1
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices	1
Compensating atmospheric turbulence with CNNs for defocused pupil image wavefront sensors	1
Vector logic allows counterfactual virtualization by the square root of NOT	1
A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4	1
A note on the system GRW with the intensional contraction rule	1
An infinitary axiomatization of dynamic topological logic	0
The fixed points of belief and knowledge	0
First-order logic of change	0
Another neighbourhood semantics for intuitionistic logic	0
Tableaux for essence and contingency	0
The logic of conditionals on outback trails	0
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation	0
Algebraic Properties of Paraorthomodular Posets	0
Adaptive Orthogonal Characteristics of Bio-Inspired Neural Networks	0
Constructive theories through a modal lens	0
Algebraic logic for the negation fragment of classical logic	0
Editorial: Special issue HAIS 2018	0
Logics and collaboration	0
Kolmogorov and Kuroda translations into basic predicate logic	0
Remarks on uniform interpolation property	0
Computability and the Symmetric Difference Operator	0
How did Avicenna understand the Barcan formulas?	0
Logic, co-ordination and the envelope of our beliefs	0
PBIL for optimizing inception module in convolutional neural networks	0
Editorial: Special issue in honour of John Newsome Crossley	0
Design and implementation of parallel self-adaptive differential evolution for global optimization	0
Axioms for a Logic of Consequential Counterfactuals	0
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers	0
Patterns of frequent user interactions in blogosphere	0
Dualities for Bounded Prelinear Hilbert Algebras	0
Labelled proof systems for existential reasoning	0
Special issue: 17th LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (LASML 2017/SLALM 2017 in Spanish)	0
On weak filters and ultrafilters: Set theory from (and for) knowledge representation	0
An atom’s worth of anonymity	0
Correspondence and canonicity theory of quasi-inequalities andΠ2-statements in modal subordination algebras	0
Editorial: Special issue SOCO-CISIS 2018-IGPL	0
Randomness study of the concatenation of generalized sequences	0
On algebraic and topological semantics of the modal logic of common knowledge S4CI	0
Missing data imputation over academic records of electrical engineering students	0
Global and saturated probabilistic approximations based on generalized maximal consistent blocks	0
The Axiom of Choice and the Partition Principle from Dialectica Categories	0
Corrigendum for "Truth in a logic of formal inconsistency: How classical can it get?"	0
Editorial	0
Hyperintensional models for non-congruential modal logics	0
Amalgamation and Robinson property in universal algebraic logic	0
Symmetric and conflated intuitionistic logics	0
Evolutionary Reinforcement Learning for Adaptively Detecting Database Intrusions	0
Undecidability of admissibility in the product of two Alt logics	0
Binary modal logic and unary modal logic	0
On intermediate justification logics	0
Editorial: Special issue SOCO 2020	0
Complexity of the interpretability logics ILW and ILP	0

Streaming big time series forecasting based on nearest similar patterns with application to energy consumption	0
John Crossley: A life intellectual	0
Editorial: Special issue SOCO-CISIS 2017-IGPL	0
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	0
An axiomatic approach to CG′3 logic	0
Why the Axiom of Choice Sometimes Fails	0
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	0
27th Workshop on Logic, Language, Information and Computation	0
Algebraic structures formalizing the logic with unsharp implication and negation	0
Interactive proof-search for equational reasoning	0
Proof-carrying parameters in certified symbolic execution	0
On the relationships between some meta-mathematical properties of arithmetical theories	0
Recollections of logicians, mathematicians and philosophers	0
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network	0
Functoriality of the Schmidt construction	0
SPECIAL ISSUE CISIS 2020-IGPL	0
Unification types in Euclidean modal logics	0
Editorial: Special issue HAIS17-IGPL	0
Investigating growth models with linearization domain analysis and residual analysis	0
Editorial: Special issue HAIS19-IGPL	0
Non-contingency in a Paraconsistent Setting	0
Constructive aspects of Riemann’s permutation theorem for series	0
26th Workshop on Logic, Language, Information and Computation(WoLLIC 2019)	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
Base-extension semantics for modal logic	0
Finite axiomatizability of logics of distributive lattices with negation	0
Special Issue: SOCO–CISIS 2019-IGPL	0
On directional accuracy of some methods to forecast time series of cybersecurity aggregates	0
Online, computable and punctual structure theory	0
Knowledge and ignorance in Belnap–Dunn logic	0
The complexity of definability by open first-order formulas	0
A bottom-up algorithm for solving ♯2SAT	0
Report on the exact methods for finding minimum-sized DFA	0
Neural architecture search for the estimation of relative positioning of the autonomous mobile robot	0
The spectra of quasi-Boolean algebras	0
Extensions in graph normal form	0
Sahlqvist Completeness Theory for Hybrid Logic with Downarrow Binder	0
Modal expansions of ririgs	0
Natural deduction and semantic models of justification logic in the proof assistant Coq	0
Solving a Two-stage Supply Chain Network Design Problem with Fixed Costs by a Hybrid Genetic Algorithm	0
OUP accepted manuscript	0
Detection of forest fires outbreaks by dynamic fuzzy logic controller	0
Filtering non-balanced data using an evolutionary approach	0
Paraconsistentization and many-valued logics	0
‘Sometime a paradox’, now proof: Yablo is not first order	0
Developments on PlagZap, the Fast and Free Textual Plagiarism Detection Solution for Universities	0
Correction to: Decidability of interpretability logics IL M0 and IL W*	0
Logical foundations: Personal perspective	0
Restriction in Program Algebra	0
The finite sequences and the partitions whose members are finite of a set	0
On a Weak Conditional	0
Genuine paracomplete logics	0
The early history of formal diagonalization	0
A support vector regression model for time series forecasting of the COMEX copper spot price	0
The relevance logic of Boolean groups	0
Editorial: Special issue HAIS20	0
Logical reduction of relations: From relational databases to Peirce’s reduction thesis	0
Semantical investigations on non-classical logics with recovery operators: negation	0
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0	0
On the Impact of Interpretability Methods in Active Image Augmentation Method	0
The use of logic and argumentation in therapy of sex offenders	0
A proof-search system for the logic of likelihood	0
Sample logic	0
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings	0
A characterization of crossed self-similarity on crossed modules in L-algebras	0
Jónsson-style canonicity in distributive modal µ-calculus	0
Boolean negation and non-conservativity II: The variable-sharing property	0
When Curry met Abel	0
Contrariety re-encountered: nonstandard contraries and internal negation**	0
Contact semilattices	0
Recovering Decimation-Based Cryptographic Sequences by Means of Linear CAs	0