I fear you will have some real thinking and typing to do if any real philosophers choose to comment here - especially logicians.

I'm happy you're thinking about these problems!