mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Defenses » April 2015 » Ioannis Kokkinis
download defense details: { pdf }

MSc thesis defense presentation

Ioannis Kokkinis defends his MSc thesis

Date: Monday, 06 Apr 2015
Time: 09:30-10:30
Location: Univeristy of Athens, Department of Mathematics, University of Athens, room A11
Thesis title: Annotated Sequent Systems for Linear Temporal Logic
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.

Reporter

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