Login
Talks & Seminars
Title: Independence Logic – Games and Descriptive Complexity
Dr. Dietmar Berwanger, CNRS, ENS-Cachan, France
Date & Time: April 9, 2013 14:30
Venue: Conference Room, 01st Floor, C Block, Department of Computer Science and Engineering, Kanwal Rekhi Building
Abstract:
Independendence Logic is a new formalism introduced by Graedel and Vaananen, which extends First-Order Logic with atoms to express independence of variables. The logic captures NP, and we show a simple fragment that captures P on ordered structures. We survey concepts of logical dependence that lead to Independence Logic, introduce a game-theoretic interpretation, and present expressiveness results. This is joint work with Pietro Galliani, Erich Graedel, Lauri Hella, and Jouko Vaananen.
Speaker Profile:
Details about the speaker are available at http://www.lsv.ens-cachan.fr/~dwb/.
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback