Login / Signup
J. Log. Comput.
1990
2000
2010
2024
1990
2024
Keyphrases
Publications
volume 34, number 1, 2024
Henry Towsner
What do ultraproducts remember about the original structures?
J. Log. Comput.
34 (1) (2024)
Federico Matias Pailos
On all pure three-valued logics.
J. Log. Comput.
34 (1) (2024)
Jim de Groot
Non-distributive positive logic as a fragment of first-order logic over semilattices.
J. Log. Comput.
34 (1) (2024)
Johan van Benthem
,
Nick Bezhanishvili
Modal structures in groups and vector spaces.
J. Log. Comput.
34 (1) (2024)
Petr Kuchynka
,
Jirí Raclavský
Completeness in partial type theory.
J. Log. Comput.
34 (1) (2024)
Glenn Blanchette
,
Anthony Robins
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence.
J. Log. Comput.
34 (1) (2024)
volume 34, number 2, 2024
Sujata Ghosh
,
Shreyas Gupta
,
Lei Li
Bisimulation in model-changing modal logics: An algorithmic study.
J. Log. Comput.
34 (2) (2024)
volume 34, number 3, 2024
Gisèle Fischer Servi
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework.
J. Log. Comput.
34 (3) (2024)
Sara Ugolini
The polyhedral geometry of Wajsberg hoops.
J. Log. Comput.
34 (3) (2024)
Nicolas Peltier
Some techniques for reasoning automatically on co-inductive data structures.
J. Log. Comput.
34 (3) (2024)
Correction to: Argumentation Frameworks with Attack Classification.
J. Log. Comput.
34 (3) (2024)
Simone Caruso
,
Giuseppe Galatà
,
Marco Maratea
,
Marco Mochi
,
Ivan Porro
Scheduling pre-operative assessment clinic with answer set programming.
J. Log. Comput.
34 (3) (2024)
Timotheus Kampik
Kettle logic in abstract argumentation.
J. Log. Comput.
34 (3) (2024)
Anthony Cantor
,
Aaron Stump
Dual counterpart intuitionistic logic.
J. Log. Comput.
34 (3) (2024)
volume 34, number 4, 2024
Federico L. G. Faroldi
,
Meghdad Ghari
,
Eveline Lehmann
,
Thomas Studer
Consistency and permission in deontic justification logic.
J. Log. Comput.
34 (4) (2024)
Maya Olszewski
,
Xavier Parent
,
Leendert van der Torre
Permissive and regulative norms in deontic logic.
J. Log. Comput.
34 (4) (2024)
Guido Governatori
,
Silvano Colombo Tosatto
,
Antonino Rotolo
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic.
J. Log. Comput.
34 (4) (2024)
Pere Pardo
,
Christian Straßer
Modular orders on defaults in formal argumentation.
J. Log. Comput.
34 (4) (2024)
Tiziano Dalmonte
,
Charles Grellois
,
Nicola Olivetti
Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship.
J. Log. Comput.
34 (4) (2024)
volume 34, number 5, 2024
Georgios V. Pitsiladis
,
Petros S. Stefaneas
A logical framework to model software development by multiple agents following a common specification.
J. Log. Comput.
34 (5) (2024)
Yufeng Liu
,
Fan Yang
,
Jian Liu
,
Song Li
A fuzzy structure processing mechanism for graph grammar.
J. Log. Comput.
34 (5) (2024)
Correction to: Arithmetical and Hyperarithmetical Worm Battles.
J. Log. Comput.
34 (5) (2024)
Xianglong Ruan
-algebras.
J. Log. Comput.
34 (5) (2024)
Rodrigo Nicolau Almeida
Polyatomic logics and generalized Blok-Esakia theory.
J. Log. Comput.
34 (5) (2024)
Correction to: Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities.
J. Log. Comput.
34 (5) (2024)
José Luis Castiglioni
,
Víctor Fernández
,
Héctor Federico Mallea
,
Hernán Javier San Martín
On subreducts of subresiduated lattices and some related logics.
J. Log. Comput.
34 (5) (2024)
Bin Zhao
,
Wei Wang
Prime spectrums of EQ-algebras.
J. Log. Comput.
34 (5) (2024)
Marcello D'Agostino
,
Alejandro Solares-Rojas
Tractable depth-bounded approximations to FDE and its satellites.
J. Log. Comput.
34 (5) (2024)
volume 33, number 6, 2023
Anthia Solaki
Actualizing distributed knowledge in bounded groups.
J. Log. Comput.
33 (6) (2023)
Fausto Barbero
,
Katrin Schulz
,
Fernando R. Velázquez-Quesada
,
Kaibo Xie
Observing interventions: a logic for thinking about experiments.
J. Log. Comput.
33 (6) (2023)
Valentin Cassano
,
Raul Fervari
,
Carlos Areces
,
Pablo F. Castro
Algebraic tools for default modal systems.
J. Log. Comput.
33 (6) (2023)
Manuel A. Martins
,
Igor Sedlár
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020).
J. Log. Comput.
33 (6) (2023)
Stepan L. Kuznetsov
Commutative action logic.
J. Log. Comput.
33 (6) (2023)
Oleg Grigoriev
,
Yaroslav I. Petrukhin
Basic modal congruent and monotonic multilattice logics.
J. Log. Comput.
33 (6) (2023)
Ryo Hatano
,
Katsuhiko Sano
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers.
J. Log. Comput.
33 (6) (2023)
Natasha Alechina
,
Hans van Ditmarsch
,
Tim French
,
Rustam Galimullin
The Expressivity of Quantified Group Announcements.
J. Log. Comput.
33 (6) (2023)
volume 33, number 7, 2023
Shawn Standefer
Weak relevant justification logics.
J. Log. Comput.
33 (7) (2023)
Mikhail N. Rybakov
,
Dmitry Shkatov
Complexity function and complexity of validity of modal and superintuitionistic propositional logics.
J. Log. Comput.
33 (7) (2023)
Liliana M. Cantú
,
Martín Figallo
Cut-free sequent-style systems for a logic associated to involutive Stone algebras.
J. Log. Comput.
33 (7) (2023)
Tatsuya Abe
,
Daisuke Kimura
A typed lambda-calculus with first-class configurations.
J. Log. Comput.
33 (7) (2023)
Paolo Liberatore
Reconstructing a single-head formula to facilitate logical forgetting.
J. Log. Comput.
33 (7) (2023)
Razvan Diaconescu
Decompositions of stratified institutions.
J. Log. Comput.
33 (7) (2023)
volume 33, number 8, 2023
Livio Robaldo
,
Francesco Pacenza
,
Jessica Zangari
,
Roberta Calegari
,
Francesco Calimeri
,
Giovanni Siragusa
Efficient compliance checking of RDF data.
J. Log. Comput.
33 (8) (2023)
Davide Soldà
,
Francesco Fabiano
,
Agostino Dovier
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems.
J. Log. Comput.
33 (8) (2023)
Marco Mochi
,
Giuseppe Galatà
,
Marco Maratea
Master Surgical Scheduling via Answer Set Programming.
J. Log. Comput.
33 (8) (2023)
Paola Cappanera
,
Marco Gavanelli
,
Maddalena Nonato
,
Marco Roma
Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming.
J. Log. Comput.
33 (8) (2023)
Fabio Tardivo
,
Agostino Dovier
,
Andrea Formisano
,
Laurent Michel
,
Enrico Pontelli
Constraint propagation on GPU: A case study for the AllDifferent constraint.
J. Log. Comput.
33 (8) (2023)
Giovanni De Gasperis
,
Stefania Costantini
,
Andrea Rafanelli
,
Patrizio Migliarini
,
Ivan Letteri
,
Abeer Dyoub
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking.
J. Log. Comput.
33 (8) (2023)
Matteo Magnini
,
Giovanni Ciatto
,
Andrea Omicini
Knowledge injection of Datalog rules via Neural Network Structuring with KINS.
J. Log. Comput.
33 (8) (2023)
Stefano Bistarelli
,
Carlo Taticchi
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics.
J. Log. Comput.
33 (8) (2023)