The following pages link to (Q4202950):
Displaying 5 items.
- A logical characterization of observation equivalence (Q802306) (← links)
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076) (← links)
- A proof-theoretic characterization of observational equivalence (Q1060006) (← links)
- A logic of sights (Q3133164) (← links)
- (Q4035696) (← links)