Applications of finite model theory : optimisation problems, hybrid modal logics and games
There exists an interesting relationships between two seemingly distinct fields: logic from the field of Model Theory, which deals with the truth of statements about discrete structures; and Computational Complexity, which deals with the classification of problems by how much of a particular compute...
| Main Author: | |
|---|---|
| Published: |
Durham University
2013
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.571933 |