Hierarchies in first-order logic and parameterized complexity
Finite model theory studies the expressive power of languages over finite structures. It explores the relations between collections of finite structures and the formal languages that are used to describe them. Properties, especially expressive powers, of logics and fragments of logics were intensive...
Main Author: | He, Y. |
---|---|
Published: |
University of Cambridge
2011
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.603914 |
Similar Items
-
First order linear logic in symmetric monoidal closed categories
by: Ambler, Simon John
Published: (1991) -
Strategic logics : complexity, completeness and expressivity
by: Walther, Dirk
Published: (2007) -
The logic of trust
by: Harwood, William
Published: (2012) -
Compositional logic programming
by: McPhee, Richard
Published: (2000) -
Abstract hoare logic
by: Mathiesen, Erik Arne
Published: (2007)