Hello there !
I've recently discovered your tool and I found it provides an awesome way to practice modal logic. However, a fellow logic enthusiast and I have noticed it tends to have a hard time parsing multiple nestings in a way we can't quite understand, take for instance this approach of theirs :
I've had to flatten it out to make it work, but I was wondering whether it's merely an issue with the code's functioning, or if there's a more theoretical modal logic reason as to why, say, line 18 in the previous image would be invalid.
So... yeah, thanks in advance ! Keep up the good work :3
Hello there !
I've recently discovered your tool and I found it provides an awesome way to practice modal logic. However, a fellow logic enthusiast and I have noticed it tends to have a hard time parsing multiple nestings in a way we can't quite understand, take for instance this approach of theirs :
I've had to flatten it out to make it work, but I was wondering whether it's merely an issue with the code's functioning, or if there's a more theoretical modal logic reason as to why, say, line 18 in the previous image would be invalid.
So... yeah, thanks in advance ! Keep up the good work :3