1
Back
J

JOURNAL OF LOGIC AND COMPUTATION

IF
Papers44
Citations
Journal Papers 54
Publication Date
delete
Analogues of Shepherdson's Theorem for a language with exponentiation
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-04-01
delete0
PREAI
deleteKovalyov, Konstantin
deleteShare
deleteSave
A minimal substitution basis for the Kalmár elementary functions
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-04-01
delete0
PREAI
deletePrunescu, Mihai; Sauras-Altuzarra, Lorenzo; Shunia, Joseph M.
deleteShare
deleteSave
Geometric theories in inquisitive modal logic
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-04-01
delete0
PREAI
deleteMuller, Valentin
deleteShare
deleteSave
Descriptive complexity for neural networks via Boolean networks
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-04-01
delete0
PREAI
deleteAhvonen, Veeti; Heiman, Damian; Kuusisto, Antti
deleteShare
deleteSave
Logic of defeasible permission and its dynamics (vol 31, pg 1158, 2021)
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-04-01
delete0
PREAI
deleteDong, H.
deleteShare
deleteSave
The mathematics of Epstein semantics (vol 35, exaf035, 2025)
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-04-01
delete0
PREAI
deleteKrawczyk, Krzysztof A.
deleteShare
deleteSave
Epistemic state updates in LLM agents via public announcement and graded modal logic
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-04-01
delete0
PREAI
deleteMullins, Justin; Symons, John
deleteShare
deleteSave
Proof-theoretic analysis of subabelian lattice logic
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-04-01
delete0
PREAI
deleteKamide, Norihiro
deleteShare
deleteSave
The Preface
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-04-01
delete0
PREAI
deleteMetcalfe, George; Studer, Thomas; de Queiroz, Ruy
deleteShare
deleteSave
Simple dynamic logic with parallel composition and applications to planning
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-03-01
delete0
PREAI
deleteHerzig, Andreas; Maris, Frederic; Perrotin, Elise; Vianey, Julien
deleteShare
deleteSave
Learning typicality inclusions in a probabilistic description logic for concept combination and an application for recommending musical contents
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-03-01
delete0
PREAI
deleteGliozzi, Valentina; Pozzato, Gian Luca; Valese, Alberto
deleteShare
deleteSave
A unified framework for Input/Output and default logics via hypersequents
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-03-01
delete0
PREAI
deletePiazza, Mario; Sabatini, Andrea
deleteShare
deleteSave
An EXPTIME-complete entailment problem in separation logic
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-03-01
delete0
PREAI
deletePeltier, Nicolas
deleteShare
deleteSave
New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-03-01
delete0
PREAI
deleteBertagnon, Alessandro; Gavanelli, Marco
deleteShare
deleteSave
On two-variable first-order logic with a partial order
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-03-01
delete0
PREAI
deleteMarzec, Dariusz; Tendera, Lidia
deleteShare
deleteSave
Belief change based on knowledge measures
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-03-01
delete0
PREAI
deleteCasini, Giovanni; Straccia, Umberto
deleteShare
deleteSave
ASP-based approaches for solving the nuclear medicine scheduling problem
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-03-01
delete0
PREAI
deleteDodaro, Carmine; Galata, Giuseppe; Maratea, Marco; Marte, Cinzia; Mochi, Marco
deleteShare
deleteSave
The Ackermann encoding and its siblings
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-03-01
delete0
PREAI
deleteBoscaratto, Simone; Cantone, Domenico; Omodeo, Eugenio G.; Policriti, Alberto
deleteShare
deleteSave
Towards ILP-based LTLf passive learning
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-03-01
delete0
PREAI
deleteIelo, Antonio; Law, Mark; Fionda, Valeria; Ricca, Francesco; De Giacomo, Giuseppe; Russo, Alessandra
deleteShare
deleteSave
A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation
deleteJOURNAL OF LOGIC AND COMPUTATION
IF0
delete2026-03-01
delete0
PREAI
deleteAlviano, Mario; Giordano, Laura; Dupre, Daniele Theseider
deleteShare
deleteSave