-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathbd-frontmatter.tex
155 lines (90 loc) · 3.16 KB
/
bd-frontmatter.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
% bastard title
\pagestyle{empty}
\vspace*{100pt}
\begin{raggedleft}
{\fontsize{24pt}{24pt}\selectfont\bfseries\sffamily%
Boxes and Diamonds}
\end{raggedleft}
\newpage
% editorial board
\vspace*{100pt}
{\bfseries\itshape The Open Logic Project}
\bigskip
\textbf{\color{leadbeater}Instigator}
\medskip
Richard Zach, \emph{University of Calgary}
\bigskip
\textbf{\color{leadbeater}Editorial Board}
\medskip
Aldo Antonelli,$^\dagger$ \emph{University of California, Davis}
Andrew Arana, \emph{Universit\'e Paris I Panth\'enon--Sorbonne}
Jeremy Avigad, \emph{Carnegie Mellon University}
Walter Dean, \emph{University of Warwick}
Gillian Russell, \emph{University of North Carolina}
Nicole Wyatt, \emph{University of Calgary}
Audrey Yap, \emph{University of Victoria}
\bigskip
\textbf{\color{leadbeater}Contributors}
\medskip
Samara Burns, \emph{University of Calgary}
Dana H\"agg, \emph{University of Calgary}
Zesen Qian, \emph{Carnegie Mellon University}
\newpage
% title
\vspace*{100pt}
\begin{raggedleft}
{\fontsize{24pt}{24pt}\selectfont\bfseries\sffamily%
Boxes and Diamonds}
\bigskip
{\fontsize{18pt}{18pt}\selectfont\bfseries\itshape An Open Introduction to Modal Logic}
\vspace{100pt}
\fontsize{14pt}{14pt}\selectfont Remixed by Richard Zach
\vfill
\textsc{Winter 2018} \emph{bis}
\end{raggedleft}
\newpage
% credits
\noindent
The Open Logic Project would like to acknowledge the generous support
of the \href{http://arts.ucalgary.ca/}{Faculty of Arts} and
the \href{http://www.ucalgary.ca/taylorinstitute/}{Taylor Institute of
Teaching and Learning} of the University of Calgary,
and the \href{http://albertaoer.com}{Alberta Open Educational Resources
(ABOER) Initiative}, which is made possible through an investment from
the Alberta government.
\bigskip
\noindent\includegraphics[height=1cm]{assets/ucarts-color}
\medskip
\noindent\includegraphics[height=1cm]{assets/ti-color}
\medskip
\noindent\includegraphics[width=4cm]{assets/aboer-color}
\vfill
\noindent Cover illustrations by \href{http://mattleadbeater.com}{Matthew
Leadbeater}, used under a
\href{http://creativecommons.org/licenses/by-nc/4.0/}{Creative Commons
Attribution-NonCommercial 4.0 International License}.
\vfill
\noindent Typeset in Baskervald X and Universalis ADF Standard by
\LaTeX.
\vfill
\noindent This version of \texttt{boxes-and-diamonds} is
revision \gitAbbrevHash{} (\gitAuthorDate), with content generated
from \texttt{OpenLogicProject} revision
\input{olprevision}
\vfill
% oluselicense generates a license mark that a) licenses the result
% under a CC-BY licence and b) acknowledges the original source (the
% OLP). Acknowledgment of the source is a requirement under the
% conditions of the CC-BY license used by the OLP, but you are not
% required to license the product itself under CC-BY.
\renewcommand{\ollicensefont}{\fontsize{8.5pt}{11pt}\selectfont}
\noindent
\oluselicense
% Title of this version of the OLT with link to source
{\href{https://bd.openlogicproject.org/}{\textit{Boxes and Diamonds}}}
% Author of this version
{\href{https://richardzach.org/}{Richard Zach}}
\newpage
\pagestyle{leadbeater}
\currentpdfbookmark{Table of Contents}{name}
\tableofcontents*