Sign in
Log. J. IGPL
1993
2003
2014
2024
1993
2024
Keyphrases
Publications
volume 32, number 1, 2024
Mohammad Ardeshir
,
Wim Ruitenburg
Kolmogorov and Kuroda Translations Into Basic Predicate Logic.
Log. J. IGPL
32 (1) (2024)
Edelcio G. de Souza
,
Alexandre Costa-Leite
,
Diogo H. B. Dias
Paraconsistentization and many-valued logics.
Log. J. IGPL
32 (1) (2024)
Morteza Moniri
,
Fatemeh Shirmohammadzadeh Maleki
Another Neighbourhood Semantics for Intuitionistic Logic.
Log. J. IGPL
32 (1) (2024)
Bahareh Afshari
,
Sebastian Enqvist
,
Graham E. Leigh
Cyclic proofs for the first-order µ-calculus.
Log. J. IGPL
32 (1) (2024)
Conferences.
Log. J. IGPL
32 (1) (2024)
Zoran Ognjanovic
,
Angelina Ilic-Stepic
,
Aleksandar Perovic
A Probabilistic Temporal Epistemic Logic: Strong Completeness.
Log. J. IGPL
32 (1) (2024)
Zalán Gyenis
,
Övge Öztürk
Amalgamation and Robinson property in universal algebraic logic.
Log. J. IGPL
32 (1) (2024)
Daniyar S. Shamkanov
On algebraic and topological semantics of the modal logic of common knowledge S4CI.
Log. J. IGPL
32 (1) (2024)
Yajie Lv
,
Wenjuan Chen
The Spectra of Quasi-Boolean Algebras.
Log. J. IGPL
32 (1) (2024)
Kordula Swietorzecka
First-Order Logic of Change.
Log. J. IGPL
32 (1) (2024)
volume 31, number 3, 2023
Majid Alizadeh
,
Mohammad Ardeshir
,
Philippe Balbiani
,
Mojtaba Mojtahedi
Unification types in Euclidean modal logics.
Log. J. IGPL
31 (3) (2023)
Zhiguang Zhao
-calculus.
Log. J. IGPL
31 (3) (2023)
Daniela Glavanicová
,
Tomasz Jarmuzek
,
Mateusz Klonowski
,
Piotr Kulicki
Free choice permission, legitimization and relating semantics.
Log. J. IGPL
31 (3) (2023)
volume 31, number 4, 2023
Daniel Teso-Fz-Betoño
,
Ekaitz Zulueta
,
Ander Sánchez-Chica
,
Unai Fernandez-Gamiz
,
Adrian Teso-Fz-Betoño
,
José Manuel López-Guede
Neural architecture search for the estimation of relative positioning of the autonomous mobile robot.
Log. J. IGPL
31 (4) (2023)
Vladimir Ilin
,
Dragan Simic
,
Svetislav D. Simic
,
Svetlana Simic
,
Nenad Saulic
,
José Luís Calvo-Rolle
A hybrid genetic algorithm, list-based simulated annealing algorithm, and different heuristic algorithms for the travelling salesman problem.
Log. J. IGPL
31 (4) (2023)
Editorial: Special issue SOCO 2020.
Log. J. IGPL
31 (4) (2023)
Jaroslav Marek
,
Alena Pozdílková
,
Libor Kupka
Investigating growth models with linearization domain analysis and residual analysis.
Log. J. IGPL
31 (4) (2023)
Marina Aguilar-Moreno
,
Manuel Graña
On registration methods for SLAM with low resolution LiDAR sensor.
Log. J. IGPL
31 (4) (2023)
Anca Avram
,
Oliviu Matei
,
Camelia-Mihaela Pintea
,
Petrica C. Pop
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach.
Log. J. IGPL
31 (4) (2023)
Pedro Lara-Benítez
,
Manuel Carranza-García
,
David Gutiérrez-Avilés
,
José C. Riquelme
Data streams classification using deep learning under different speeds and drifts.
Log. J. IGPL
31 (4) (2023)
José Antonio Moscoso López
,
Javier González-Enrique
,
Daniel Urda
,
Juan Jesús Ruiz-Aguilar
,
Ignacio J. Turias
Hourly pollutants forecasting using a deep learning approach to obtain the AQI.
Log. J. IGPL
31 (4) (2023)
Mauricio-Andrés Zamora-Hernández
,
Jose Andrez Chaves Ceciliano
,
Alonso Villalobos Granados
,
John Alejandro Castro-Vargas
,
José García Rodríguez
,
Jorge Azorín López
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0.
Log. J. IGPL
31 (4) (2023)
Santiago Porras
,
Esteban Jove
,
Bruno Baruque
,
José Luís Calvo-Rolle
A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables.
Log. J. IGPL
31 (4) (2023)
Pavel Skrabánek
,
Petr Dolezel
,
Radomil Matousek
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network.
Log. J. IGPL
31 (4) (2023)
Francisco Zayas-Gato
,
Esteban Jove
,
José Luís Casteleiro-Roca
,
Héctor Quintián
,
Francisco Javier Perez Castelo
,
Andrés José Piñón Pazos
,
Elena Arce
,
José Luís Calvo-Rolle
Intelligent model for active power prediction of a small wind turbine.
Log. J. IGPL
31 (4) (2023)
Esperanza García Gonzalo
,
Paulino José García Nieto
,
Javier Gracia Rodríguez
,
Fernando Sánchez Lasheras
,
Gregorio Fidalgo Valverde
A support vector regression model for time series forecasting of the COMEX copper spot price.
Log. J. IGPL
31 (4) (2023)
Iztok Fister
,
Andrés Iglesias
,
Akemi Gálvez
,
Dusan Fister
,
Iztok Fister Jr.
Design and implementation of parallel self-adaptive differential evolution for global optimization.
Log. J. IGPL
31 (4) (2023)
volume 31, number 5, 2023
Claudio E. A. Pizzi
Axioms for a Logic of Consequential Counterfactuals.
Log. J. IGPL
31 (5) (2023)
Marcin Lyczak
Branching Time Axiomatized With the Use of Change Operators.
Log. J. IGPL
31 (5) (2023)
Marcel Jackson
,
Tim Stokes
Restriction in Program Algebra.
Log. J. IGPL
31 (5) (2023)
Verónica Borja Macías
,
Marcelo E. Coniglio
,
Alejandro Hernández-Tello
Genuine paracomplete logics.
Log. J. IGPL
31 (5) (2023)
Juan Climent Vidal
,
Enric Cosme-Llópez
Functoriality of the Schmidt construction.
Log. J. IGPL
31 (5) (2023)
Sandro Preto
,
Marcelo Finger
Proving properties of binary classification neural networks via Łukasiewicz logic.
Log. J. IGPL
31 (5) (2023)
Blanca Fernanda López Martinolich
,
María del Carmen Vannicola
Equivalence between Varieties of Łukasiewicz-Moisil Algebras and Rings.
Log. J. IGPL
31 (5) (2023)
volume 31, number 6, 2023
Lloyd Humberstone
Contrariety re-encountered: nonstandard contraries and internal negation**.
Log. J. IGPL
31 (6) (2023)
Matthew Askes
,
Rod Downey
Online, computable and punctual structure theory.
Log. J. IGPL
31 (6) (2023)
Yuri Gurevich
Logical foundations: Personal perspective.
Log. J. IGPL
31 (6) (2023)
Jouko Väänänen
An atom's worth of anonymity.
Log. J. IGPL
31 (6) (2023)
John L. Bell
Recollections of logicians, mathematicians and philosophers.
Log. J. IGPL
31 (6) (2023)
Geoff Sutcliffe
The logic languages of the TPTP world.
Log. J. IGPL
31 (6) (2023)
Rohit Parikh
Logic, co-ordination and the envelope of our beliefs.
Log. J. IGPL
31 (6) (2023)
John Newsome Crossley
What is mathematical logic? An Australian odyssey.
Log. J. IGPL
31 (6) (2023)
Anil Nerode
John Crossley: A life intellectual.
Log. J. IGPL
31 (6) (2023)
C. Smorynski
The early history of formal diagonalization.
Log. J. IGPL
31 (6) (2023)
Guillermo Badia
Editorial: Special issue in honour of John Newsome Crossley.
Log. J. IGPL
31 (6) (2023)
Johan van Benthem
The logic of conditionals on outback trails.
Log. J. IGPL
31 (6) (2023)
Palagorn Phansamdaeng
,
Pimpen Vejjajiva
The cardinality of the partitions of a set in the absence of the Axiom of Choice.
Log. J. IGPL
31 (6) (2023)
Martin Wirsing
,
Alexander Knapp
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic.
Log. J. IGPL
31 (6) (2023)
Wilfrid Hodges
How did Avicenna understand the Barcan formulas?
Log. J. IGPL
31 (6) (2023)
Liz Sonenberg
Logics and collaboration.
Log. J. IGPL
31 (6) (2023)