A Decision Procedure for the Alternation-Free Two-Way Modal -Calculus.

Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya

Browse the full TABLEAUX paper archive.