Kasparov Lobster Logic