It seems to me that the formulas: 1. ◊P 2. (∃x)(Fx) and: 3. □P 4. (∀x)(Fx) are quite similar, if we translate the modal propositional ones into PWS. Here is the result: 1*. (∃w)(Pw) 3*. (∀w)(Pw) Translated into a formal-ish english language, they should be read as:
Similarity between PWS and predicate logic
Similarity between PWS and predicate logic
Similarity between PWS and predicate logic
It seems to me that the formulas: 1. ◊P 2. (∃x)(Fx) and: 3. □P 4. (∀x)(Fx) are quite similar, if we translate the modal propositional ones into PWS. Here is the result: 1*. (∃w)(Pw) 3*. (∀w)(Pw) Translated into a formal-ish english language, they should be read as: