On the Modal Logic K Plus Theories.

Alain Heuerding, Stefan Schwendimann

Browse the full CSL paper archive.