Assertion: logic's property | /r/HasProperty | preserved under bisimulation
Facets:
Source sentences:
text: It is a classical result of modal logic that if two states of two models are related by a bisimulation, then the states will satisfy exactly the same modal formulas, and in addition a first order property of states is definable in the basic modal language if and only if the property is preserved under bisimulation.