Many of the English translations of Indigenous languages that we commonly use today have been handed down from colonial missionaries whose intent was to fundamentally alter or destroy prior Indigenous knowledge and praxis. In this text, author Mark D. Freeland develops a theory of worldview that provides an interrelated logical mooring to shed light on the issues around translating Indigenous languages in and out of colonial languages. In tandem with other linguistic and narrative methods, this theory of worldview can be employed to help root out the reproduction of colonial culture in Indigenous languages and can be a useful addition to the repertoire of tools needed to return to life-giving relationships with our environment. These issues of decolonization are highlighted in the trajectory of treaty language associated with relationships to land and their present-day importance. This book uses the 1836 Treaty of Washington and its contemporary manifestation in Great Lakes fishing rights and the State of Michigan’s 2007 Inland Consent Decree as a means of identifying the role of worldview in deciphering the logics embedded in Anishinaabe thought associated with these relationships to land. A fascinating study for students of Indigenous and linguistic disciplines, this book deftly demonstrates the significance of worldview theory in relation to the logics of decolonization of Indigenous thought and praxis.

"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic completeness, decidability, and expressability results in a variety of logics of the three kinds considered." -Rohit Parikh, reviewing the first edition in the Journal of Symbolic Logic. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Golblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order defiability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next , anduntil; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, intorducing a connective for the parallel execution of commands. A seperate section is devoted to the quantificational dynamic logic. Numerous excercises are included for use in the classroom. Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Center for the Study of Language and Information- Lecture Notes, Number 7