4 ms·
The program can output "necessarily true" if it is true in all possible worlds, "self-contradictory" if it is false in all possible worlds, and "contingent" if
by kmill 9y ago
The program can output "necessarily true" if it is true in all possible worlds, "self-contradictory" if it is false in all possible worlds, and "contingent" if it is true in some and false in others.