Definition:Modal Proposition

From ProofWiki
Jump to navigation Jump to search

Definition

A modal proposition is a statement in modal logic:

It is possible that $A$ is true.


Also see

  • Results about modal propositions can be found here.


Sources