download defense details:
{
pdf
}
MSc thesis defense presentation
Ιωάννης Κοκκίνης defends his MSc thesis
| Date: | Δευτέρα, 06 Απρ 2015 |
|---|---|
| Ώρα: | 09:30-10:30 |
| Location: | Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών, Τμήμα Μαθηματικών, room A11 |
| Thesis title: | Συστήματα Ακολουθητών με Υποσημειώσεις για τη Γραμμική Χρονική Λογική |
| Committee: |
Thesis abstract
Annotated sequents provide an elegant approach for the design of deductive systems for temporal logics. Their proof theory, however, is notoriously dif- ficult. Until recently it was not even clear how to syntactically show the admissibility of weakening. In this thesis we present a cut-free, finitary se- quent system for linear temporal logic, based on annotated sequents. We present proofs for soundness and completeness and also present a purely syntactical proof for the admissibility of weakening in the aforementioned system. Furthermore, we investigate the role of cut in annotated sequent systems.