Binary Relation
otherentity
ID: binaryrelation
Related Papers
The donkey strikes back: Extending the dynamic interpretation “constructively”
The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treat- ments of implication, universal quantifi- cation, negation and disjunction that are …...