Sistemas axiomáticos válidos han sido analizados y ofrecidos por Jaakko Hintikka y Karel Lambert.