Login / Signup

On the Decidability of Elementary Modal Logics.

Jakub MichaliszynJan OtopEmanuel Kieronski
Published in: ACM Trans. Comput. Log. (2015)
Keyphrases