From 44982507c552d9aa40fefd18eedc48c25646acee Mon Sep 17 00:00:00 2001
From: Noah Diewald <noah@diewald.me>
Date: Wed, 28 Jul 2021 14:35:16 -0400
Subject: [PATCH] worlds

---
 semantics.bib | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/semantics.bib b/semantics.bib
index 27a8995..c5b5bad 100644
--- a/semantics.bib
+++ b/semantics.bib
@@ -65,6 +65,13 @@
 	author = {Carlson, Lauri}
 }
 
+@Book{carnap1947meaning,
+	publisher = {University of Chicago Press},
+	year = {1947},
+	title = {Meaning and Necessity},
+	author = {Carnap, Rudolf}
+}
+
 @book{carpenter1994distribution,
 	title = {Distribution, collection and quantification: a
                   type-logical account of plurality},
@@ -302,6 +309,16 @@
 	author = {Kierstead, Gregory and Martin, Scott}
 }
 
+@Article{kripke1963semantic,
+	year = {1963},
+	pages = {67-96},
+	volume = {9},
+	journaltitle = {Zeitschrift für Mathematische Logik und Grundlagen der Mathematik},
+	subtitle = {Normal modal propositional calculi},
+	title = {Semantic analysis of modal logic I},
+	author = {Kripke, Saul}
+}
+
 @InBook{lakoff1976toward,
 	pages = {43--61},
 	publisher = {Brill},
@@ -452,6 +469,17 @@
 	author = {Martin, Scott}
 }
 
+@InBook{montague1974proper,
+	pages = {247--270},
+	editor = {R. Thomason},
+	publisher = {Yale University Press},
+	booksubtitle = {Selected Papers of Richard Montague},
+	booktitle = {Formal Philosophy},
+	author = {Montague, Richard},
+	year = {1974},
+	title = {The proper treatment of quantification in ordinary English}
+}
+
 @Article{nouwen2007appositives,
 	pages = {87--102},
 	volume = {5},