Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday - Nigam (Springer International Publishing, 2020)