Computing Theory Prime Implicates in Modal Logic

Manoj K. Raut, Tushar V. Kokane, Rishabh Agarwal. Computing Theory Prime Implicates in Modal Logic. In Ajith Abraham, Pranab Kr. Muhuri, Azah Kamilah Muda, Niketa Gandhi, editors, Intelligent Systems Design and Applications - 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017) Held in Delhi, India, December 14-16, 2017. Volume 736 of Advances in Intelligent Systems and Computing, pages 273-282, Springer, 2017. [doi]

Abstract

Abstract is missing.