(MODAL LOGIC) Let S4.2 name the normal BML logic axiomatized bythe formulas {p → p, ♦♦p → ♦p, ♦p → ♦p}. And let C name the classof all BML frames F = (W, R) such that R is reflexive, transitive,and has the Church-Rosser property1 . (a) Prove that S4.2 is soundon C 1) If R has the Church-Rosser property then it means that Rsatisfies the following condition relative to W for all x, y, z ∈W: if xRy and xRz then there’s a u ∈ W such that yRu and zRu
Expert Answer
An answer will be send to
OR
PayPal Gateway not configured
OR
PayPal Gateway not configured