Items where Division is "04 Department of Mathematics > Logic > Algorithmic Model Theory > Model Constructions and Model-Theoretic Games in Special Classes of Structures > Model Theory of Modal Logics over Special Frames" and Year is [pin missing: value2]
 | Up a level |
- TU Darmstadt (1)
- 04 Department of Mathematics (1)
- Logic (1)
- Algorithmic Model Theory (1)
- Model Constructions and Model-Theoretic Games in Special Classes of Structures (1)
- Model Theory of Modal Logics over Special Frames (1)
- Model Constructions and Model-Theoretic Games in Special Classes of Structures (1)
- Algorithmic Model Theory (1)
- Logic (1)
- 04 Department of Mathematics (1)
Number of items at this level (without sub-levels): 1.
English
Canavoi, Felix (2018)
Cayley Structures and the Expressiveness of Common Knowledge Logic.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Drucken
Impressum