Modal Logic Analysis Protocol Design | Modal Logic Analysis | Logic | NEROS