![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Luc Segoufin (INRIA and ENS, Cachan)
Thursday 09 September 2010, 15:00-16:00
Characterizations of the Expressive Power of Logics over Trees
- 👤 Speaker: Luc Segoufin (INRIA and ENS, Cachan)
- 📅 Date & Time: Thursday 09 September 2010, 15:00 - 16:00
- 📍 Venue: Room FW26, Computer Laboratory, William Gates Building
Abstract
This talk will be about the expressive power of logics over trees. More precisely we will try to derive expressibility and inexpressibility results in a generic way.
Our yardstick will be MSO , and all the logical formalisms we will consider can be seen as fragments of MSO (monadic second order logic). Given a logical formalism L, we will try to see which of the properties expressible in MSO are also expressible in L by exhibiting a decidable characterization of L. By this we mean an algorithm deciding whether a formula of MSO is equivalent to a formula of L or not.
This talk will try to survey the known results in this research area.
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- Martin's interesting talks
- Room FW26, Computer Laboratory, William Gates Building
- School of Technology
- tcw57’s list
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.