Font size: Αα Αα Αα hide gadgets
You are here: Defenses » Απρίλιος 2015 » Ιωάννης Κοκκίνης
download defense details: { pdf }

MSc thesis defense presentation

Ιωάννης Κοκκίνης defends his MSc thesis

Date: Δευτέρα, 06 Απρ 2015
Ώρα: 09:30-10:30
Location: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών, Τμήμα Μαθηματικών, room A11
Thesis title: Συστήματα Ακολουθητών με Υποσημειώσεις για τη Γραμμική Χρονική Λογική

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.


Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.