Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference.

Bernhard Heinemann

Browse the full LFCS paper archive.