The necessity quantifier (aka Provability quantifier, or ~◊~, or Belief, or.... instead of the usual square I will be lazy and call it "N") is often allowed to be repeated as many (finite) times as one wishes, so NNNNNNψ is OK. Is it possible to somehow include into the axioms some restriction on the number of times it can be applied, or even for example outlawing an odd number of applications? My guess is that no, as one would need to have a sentence with too large a domain of the quantifier in the sentence, but I would like to see if my guess is correct.(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# I Repeatability of necessity: number restrictions?

Have something to add?

Draft saved
Draft deleted

Loading...

Similar Threads for Repeatability necessity number |
---|

B Problem in Counting - Number of Passwords |

I Partitioning a whole number in a particular way |

I Combination of Non Adjacent Numbers |

I Problem with infinite decimal numbers? |

**Physics Forums | Science Articles, Homework Help, Discussion**