The Cast


p1, p2, ..., pn . . . . . . . . . . . . . . . . . . . . as "Propositional Symbols"

¬, v, ^, → . . . . . . . . . . . . . . . . . . . . as "The Booleans"

‹R› . . . . . . . . . . . . . . . . . . . . as "The Diamond Modality"

[R] . . . . . . . . . . . . . . . . . . . . as "The Box Modality"

[U] . . . . . . . . . . . . . . . . . . . . as "The Universal Modality"

n1, n2, ..., nk . . . . . . . . . . . . . . . . . . . . as "Nominals"

: . . . . . . . . . . . . . . . . . . . . as "At"

‹R*› . . . . . . . . . . . . . . . . . . . . as "The Reflexive Transitive Closure"

«n» . . . . . . . . . . . . . . . . . . . . as "The First Order Quantifier"

«R» and «P» . . . . . . . . . . . . . . . . . . . . as "Second Order Quantifiers"



Thanks

Larry Moss for an amazing summer school.

The Students for their time, their questions, and their ideas.

The city of Bloomington for the walks.

—¤¤¤—

No animal has been harmed in the making of this course

(disregarding a number of Argentinian BBQs)

—¤¤¤—

2010 Carlos Areces
carlos.areces@gmail.com
http://www.loria.fr/~areces
Please distribute this ideas as widely as possible

—¤¤¤—