Sciweavers

B and D Are Enough to Make the Halpern-Shoham Logic Undecidable
Recent Google, Yahoo, MSN search queries leading to this post
B and D Are Enough to Make the Halpern-Shoham Logic Undecidable