Our seminar series is free and available for anyone to attend. Unless otherwise stated, seminars take place on Wednesday afternoons at 2pm in the Kilburn Building during teaching season.

If you wish to propose a seminar speaker please contact Antoniu Pop.


Hybrid Logics with Concrete Domains

  • Speaker:   Dr  Carlos Areces  (Langue et Dialogue, France)
  • Host:   Uli Sattler
  • 29th March 2006 at 14:15 in 1.5
The idea of logics with 'concrete domains' (i.e., logical languages whose models have an abstract domain and abstract predicates that can be interpreted arbitrarily, together with a concrete, fixed domain, with predicates of fixed extension) have received considerable attention in the description logic community. Their properties are well understood, specially in terms of complexity, expressive power and reasoning mechanisms. In the other hand, aximatizations (a topic which is usually not investigated in the DL community) have not been investigated.

In this talk I'll discuss how to extend the hybrid logic H(@,\downarrow), to naturally include concrete domains and provide a preliminary axiomatization. But more interestingly, we'll see that the language let us see striking similarities between H(@,\downarrow), DL with concrete domains, and half order logics (a logic introduced for software verification).
▲ Up to the top