Events at The University of Manchester
  • University home
  • Events
  • Home
  • Exhibitions
  • Conferences
  • Lectures and seminars
  • Performances
  • Events for prospective students
  • Sustainability events
  • Family events
  • All Events

Two-Variable First-Order Logics over Transitive Structures

Dates:8 February 2012
Times:14:00 - 16:00
What is it:Seminar
See travel and contact information
Add to your calendar

More information

  • Seminars

Other events

  • In category "Seminar"

Speaker: Dr Lidia Tendera. University of Opole, Poland

Host: Ian Pratt-Hartmann

Abstract: Two prominent decidable fragments of classical first-order logic, namely the two-variables fragment (FO2) and the guarded fragment (GF), cannot express transitivity of a binary relations. This shortage can be replaced by considering special classes of structures, where some distinguished binary predicate letters are required to be transitive.

In the talk we review main results concerning decidability and complexity of the satisfiability problem for FO2 and GF over such structures. In more detail we discuss the so far open case of FO2 with one transitive relation and outline the proof of its decidability.

http://www.cs.manchester.ac.uk/Events_subweb/seminars.php

Travel and Contact Information

Find event

Lecture Theatre 1.4
Kilburn Building
Manchester

 

Contact us

  • +44 (0) 161 306 6000

Find us

The University of Manchester
Oxford Rd
Manchester
M13 9PL
UK

Connect with the University

  • Facebook page for The University of Manchester
  • X (formerly Twitter) page for The University of Manchester
  • YouTube page for The University of Manchester
  • Instagram page for The University of Manchester
  • TikTok page for The University of Manchester
  • LinkedIn page for The University of Manchester

  • Privacy /
  • Copyright notice /
  • Accessibility /
  • Freedom of information /
  • Charitable status /
  • Royal Charter Number: RC000797
  • Close menu
  • Home
    • Featured events
    • Today's events
    • The Whitworth events
    • Manchester Museum events
    • Jodrell Bank Discovery Centre events
    • Martin Harris Centre events
    • The John Rylands Library events
    • Exhibitions
    • Conferences
    • Lectures and seminars
    • Performances
    • Events for prospective students
    • Sustainability events
    • Family events
    • All events