Yes very much so, though it's all quite a bit above me. It's really fascinating stuff though, especially combined with deontic logic.

what the fuck are you nerds talking about....... -_-

>>114
You might be surprised if you look into it. There's quite a few tutorials online, and most of the concepts are pretty natural.

>>117
Link me bro, I'm too drunk, but will check later. I also had some quality leads like KED and a paper about the dangers of using deontic logic automated provers that I will try to find. Pretty sure I saved it.