Inproceedings,

Ruitenburg's Theorem via Duality and Bounded Bisimulations.

, and .
Advances in Modal Logic, page 277-290. College Publications, (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews