Theology
Philosophical logic
Free will
Christian philosophy
Modal logic
Molinism
William of Ockham
Problem of future contingents
If and only if
Philosophy
Logic
Mathematics