mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Theses » MSc » Ioannis Kokkinis Anonymously browsing from 54.80.146.251 at 21:24:05, 20-11-2017. login

MSc thesis of Ioannis Kokkinis

Annotated Sequent Systems for Linear Temporal Logic

Supervisor: Efstathios Zachos

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.

Defended: April 6, 2015.

Scientific committee

Download

Download thesis.

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.