The following pages link to A note on guarded theories (Q1813969):
Displaying 6 items.
- Art gallery theorems for guarded guards. (Q1410595) (← links)
- Guarded quantification in least fixed point logic (Q1424969) (← links)
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- A proof rule for fair termination of guarded commands (Q3698284) (← links)
- (Q4226991) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)