The following pages link to Guarded Negation (Q5892612):
Displayed 5 items.
- Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100) (← links)
- (Q5091125) (← links)
- On the Decidability of Elementary Modal Logics (Q5277903) (← links)
- Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)
- Guarded Negation (Q5890544) (← links)