links

historical-time · Aug 6, 2024 · 628fc0b · 628fc0b
1 parent 29d0fa2
commit 628fc0b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -19,6 +19,6 @@ from 2023-04-03 to 2023-04-06, Amsterdam
 ### Session 12: Chronological modelling: formal methods and research software
 > Eythan Levy, Thomas Huet, Florian Thiery, Allard W. Mees
 
-* General Introduction to S12: https://historical-time.github.io/caa-chrono-sig/s12/pres
+* General Introduction to S12: https://historical-time.github.io/caa-chrono-sig/caa/23/s12/pres
 * Discussing the need for a new CAA Special Interest Group on chronological modelling: https://historical-time.github.io/caa-chrono-sig/sig/pres
 
diff --git a/doc/logics.md b/doc/logics.md
@@ -0,0 +1 @@
+**Temporal logics.** Temporal logics is an important field of mathematical and computer science research (Demri et al. 2016), which has up to now found too little applications in archaeological research, probably due to a lack of communication between the relevant research communities. The main results of temporal logics widely applied and cited by archaeologists (see for example Holst 2004; May 2020\) are the fundamental, but old, Allen relations (Allen 1984, 1991). The archaeological research community has otherwise only brought too little attention to recent research results in temporal logics.