Why are modal logics so robustly decidable?

Leiden / EATCS (1999) [Journal Article]

Bulletin of the European Association for Theoretical Computer Science
Volume: 68
Page(s): 90-103

Authors

Selected Authors

Grädel, Erich

Identifier

  • REPORT NUMBER: RWTH-CONV-021655