Marcus Kracht

Interpreted Languages and Compositionality

2011

Advances in modal logic

2004

Tools and techniques in modal logic

1999

Internal definability and comp

Internal definability and completeness in modal logic

1990