University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Complexity results for dependence logic

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Complexity results for dependence logic

Download to your calendar using vCal

If you have a question about this talk, please contact Mustapha Amrani .

Semantics and Syntax: A Legacy of Alan Turing

Dependence Logic, introduced by Jouko Vnnen in 2007, is a new logic incorporating the concept of dependence into first-order logic. The expressive power of dependence logic coincides with that of existential second-order logic, and the complexity class NP over finite structures. In the past few years, dependence logic has grown into a new framework in which various notions of dependence and independence can be formalized. We review recent results regarding the expressive power and complexity of certain fragments and extensions of dependence logic.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Darwin College, Newnham Terrace Christ's College Z-Basement Bristol-Myers Squibb Lecture Theatre, Department of Chemistry at 6.00pm

Other talks

Group Work Illegal trade in the North Atlantic Gastroenterology and Acute Medicine Tea and Coffee Break Director's Welcome Studying viruses to understand what makes pandemic viruses special and how innate immunity works
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity