Sciweavers

Share
FROCOS
2007
Springer
9 years 5 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