In this talk I introduce systems of logic different from the propositional calculus we are used to, called "modal logics." Syntactically, these logics differ by having an extra symbol, the
This talk will relate to the essay topic 'Sparse Ramsey Theory'. It will be accessible to anyone who is familiar with the basic definitions of graph theory.
Refer to the overview page for room numbers and details of other talks in the seminar series.
Please put your abstracts here.
Refer to the overview page for room numbers and details of other talks in the seminar series.
Refer to the overview page for room numbers and details of other talks in the seminar series.
Refer to the overview page for room numbers and details of other talks in the seminar series.
Please put your abstracts here.
Refer to the overview page for room numbers and details of other talks in the seminar series.
Please put your abstracts here.
Refer to the overview page for room numbers and details of other talks in the seminar series.