First Order Logics Extended With Counting Quantifiers

Speaker:

Sreejith A V

Organiser:

Kavitha Telikepalli

Date:

Wednesday, 12 Mar 2014, 10:00 to 11:00

Venue:

D-405 (D-Block Seminar Room)

Category:

Seminar

event.ics Print

Abstract

Abstract: In this talk, we shall look at logics over words. It is known that first order logic (FO) with an order relation,