Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Modelltheorie"”.
-
Guarded logics : algorithms and bisimulation
For many practical applications of logic-based methods there is a requirement to balance expressive power against computational tractability. Both identifying decidable sub-classes of first-order logic, and extending modal logic to larger, but nevertheless efficiently solvable languages has been a …
-
Structures of bounded partition width
In the present thesis we study the question of which monadic theories are simple. In particular, we are looking for theories that are decidable or at least simple enough that we are able to derive structure theorems. We propose to draw the line between simple and complicated theories by defining …