It is not the case that S4 permits variable domain semantics (as Kripke's 1963 semantics shows), so Trans(Π) ∪ ΔS4 may validate inferences S4 itself rejects under anti-Barcan conditions.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.