"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