From d83337f5e76ec243c36f5b4868f2c6d2b0028342 Mon Sep 17 00:00:00 2001
From: Jorge Fandinno <jorgefandinno@gmail.com>
Date: Wed, 22 Jan 2025 17:15:13 -0600
Subject: [PATCH 1/3] Annals Pure and Applied Logic

---
 krr.bib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/krr.bib b/krr.bib
index 955ebeb..0065ad1 100644
--- a/krr.bib
+++ b/krr.bib
@@ -13734,7 +13734,7 @@ @phdthesis{hentenryck87
 @article{henthi99a,
   title = {Dynamic Linear Time Temporal Logic},
   author = {J. Henriksen and P. Thiagarajan},
-  journal = {Annals Pure and Applied Logic},
+  journal = {Annals of Pure and Applied Logic},
   number = {1-3},
   pages = {187-207},
   volume = {96},

From 0434b31319e95095812e552d49da56c86f3d5df8 Mon Sep 17 00:00:00 2001
From: Jorge Fandinno <jorgefandinno@gmail.com>
Date: Wed, 22 Jan 2025 17:16:37 -0600
Subject: [PATCH 2/3] Autonomous Agents and Multi-Agent Systems

---
 krr.bib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/krr.bib b/krr.bib
index 0065ad1..4b0b70e 100644
--- a/krr.bib
+++ b/krr.bib
@@ -7299,7 +7299,7 @@ @incollection{darpip09a
 @article{dastani08a,
   title = {{2APL}: a practical agent programming language},
   author = {M. Dastani},
-  journal = {Autonomous agents and multi-agent systems},
+  journal = {Autonomous Agents and Multi-Agent Systems},
   number = {3},
   pages = {214-248},
   volume = {16},

From 788f740c5a6f62c9e28e5ab97743d0c46915d8cd Mon Sep 17 00:00:00 2001
From: Jorge Fandinno <jorgefandinno@gmail.com>
Date: Wed, 22 Jan 2025 17:20:11 -0600
Subject: [PATCH 3/3] journal fixes

---
 krr.bib | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/krr.bib b/krr.bib
index 4b0b70e..ce75d07 100644
--- a/krr.bib
+++ b/krr.bib
@@ -2867,7 +2867,7 @@ @article{begoknle19a
 @article{behapn82a,
   title = {Deterministic propositional dynamic logic: Finite models, complexity, and completeness},
   author = {M. Ben-Ari and J. Halpern and A. Pnueli},
-  journal = {Journal of computer and system sciences},
+  journal = jcss,
   number = {3},
   pages = {402-417},
   publisher = elsevier,
@@ -23906,7 +23906,7 @@ @article{stbomico83a
 @article{stbrsa96a,
   title = {Combinational Test Generation Using Satisfiability},
   author = {P. Stephan and R. Brayton and A. Sangiovanni-Vincentelli},
-  journal = {IEEE Transactions on CAD of Integrated Circuits and Systems},
+  journal = {{IEEE} Transactions on Computer-Aided Design of Integrated Circuits and Systems},
   number = {9},
   pages = {1167-1176},
   volume = {15},