rule of necessitation
logic
Learn about this topic in these articles:
construction of modal systems
- In formal logic: Alternative systems of modal logic
…theorem so is Lα (the rule of necessitation). The intuitive rationale of this rule is that, in a sound axiomatic system, it is expected that every instance of a theorem α will be not merely true but necessarily true—and in that case every instance of Lα will be true.
Read More