"Modal and Temporal Logics - A Survey and Introduction"

Abstract: This talk will be divided into three segments: - Syntax and semantics for modal logics - The classical example of S4 and S5 - What is the strength of these logics? - Two examples of m-modal logics: temporal logics and subset spaces (due to Dabrowski, Moss and Parikh). - Some results on temporal Logics. Where compactness fails. This very introductory talk has as its main goal to show how mathematicians, philosophers, and computer scientists might use modal logic as a tool in their research areas.
 

Back to Talks Page