Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Coalgebraic Logics and Tableaux

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Clemens Kupke
Date
Le mardi 14 juin 2011 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Clemens Kupke (University of Oxford)

Many of the logics that are used in computer science today are variations of modal logics as they offer a good compromise between expressive power on the one hand, and good algorithmic properties on the other hand. Extensions of basic modal logic are obtained by allowing for ontological reasoning (description logics) and by adding the ability to specify ongoing, possibly infinite behaviour (fixpoint logics). Other variations of basic modal logic are designed to fit specific semantic domains such as modal logics for Markov chains, game frames or neighbourhood structures.

In my talk I am going to present coalgebraic modal logic as a general framework in which the above mentioned variations of basic modal logic can be studied in a uniform way. In particular, I am going to describe tableau calculi that yield generic decidability proofs for the coalgebraic mu-calculus and coalgebraic description logics. As corollaries we obtain previously unknown Exptime-decidability results for these logics.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents