Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
FROCOS
2007
Springer
11 years 4 months ago
Idempotent Transductions for Modal Logics
Abstract. We investigate the extension of modal logics by bisimulation quanti´Čüers and present a class of modal logics which is decidable when augmented with bisimulation quanti´Č...
Tim French
books