Three-Valued Logic and Future Contingents