J. Log. Comput.

Keyphrases

Publications

volume 33, number 3, 2023

volume 33, number 4, 2023

Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere
0-complexity and axiomatic weakness in undecidability proofs. J. Log. Comput. 33 (4) (2023)
Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen
A sequent calculus for first-order logic formalized in Isabelle/HOL. J. Log. Comput. 33 (4) (2023)
Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Nicholas Nisopoli, Ivan Porro
Rescheduling rehabilitation sessions with answer set programming. J. Log. Comput. 33 (4) (2023)
Angelo Ferrando, Giorgio Delzanno
Incrementally predictive runtime verification. J. Log. Comput. 33 (4) (2023)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
Timed concurrent language for argumentation with maximum parallelism. J. Log. Comput. 33 (4) (2023)
Federico Bergenti, Stefania Monica
Special issue for the 36th Italian Conference on Computational Logic (CILC 2021). J. Log. Comput. 33 (4) (2023)
Giuseppe Bisicchia, Stefano Forti, Antonio Brogi
Sustainable goal-oriented smart environments: a declarative programming approach. J. Log. Comput. 33 (4) (2023)
Matteo Pascucci, Giovanni Sileno
A formal, diagrammatic, and operational study of normative relations. J. Log. Comput. 33 (4) (2023)
Lorenzo De Lauretis, Fabio Persia, Stefania Costantini, Daniela D'Auria
How to leverage intelligent agents and complex event processing to improve patient monitoring. J. Log. Comput. 33 (4) (2023)

volume 33, number 5, 2023

Noah Kaufmann
3. J. Log. Comput. 33 (5) (2023)
Augusto Peres, Jaime Ramos, Francisco Dionísio
Bounded model checking distributed temporal logic. J. Log. Comput. 33 (5) (2023)
Anuj Dawar, Erich Grädel, Moritz Lichter
Limitations of the invertible-map equivalences. J. Log. Comput. 33 (5) (2023)
Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai
Reflexive combinatory algebras. J. Log. Comput. 33 (5) (2023)
Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla, Henrique M. R. Jasinski
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation. J. Log. Comput. 33 (5) (2023)
Irakli O. Chitaia, Keng Meng Ng, Andrea Sorbi, Yue Yang
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities. J. Log. Comput. 33 (5) (2023)
Nicola Angius, Giuseppe Primiero
Copying safety and liveness properties of computational artefacts. J. Log. Comput. 33 (5) (2023)

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)
Thomas Bolander, Arnaud Lequen
Parameterized Complexity of Dynamic Belief Updates: A Complete Map. 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)
Ryo Hatano, Katsuhiko Sano
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers. J. Log. Comput. 33 (6) (2023)
Emiliano Lorini, Pengfei Song
A computationally grounded logic of awareness. J. Log. Comput. 33 (6) (2023)
Oleg Grigoriev, Yaroslav I. Petrukhin
Basic modal congruent and monotonic multilattice logics. 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)
Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin
Hybrid sabotage modal logic. J. Log. Comput. 33 (6) (2023)
Christoph Benzmüller, Sebastian Reiche
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy. J. Log. Comput. 33 (6) (2023)
Gaia Belardinelli, Rasmus K. Rendsvig
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models. J. Log. Comput. 33 (6) (2023)
Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár
Almost APAL. 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)
Diana Costa
4DL: a four-valued dynamic logic and its proof theory. J. Log. Comput. 33 (6) (2023)

volume 33, number 7, 2023

volume 33, number 8, 2023