Pages that link to "Item:Q2567341"
From MaRDI portal
The following pages link to Guards, bounds, and generalized semantics (Q2567341):
Displaying 13 items.
- Toward discourse representation via pregroup grammars (Q1006460) (← links)
- Guarded quantification in least fixed point logic (Q1424969) (← links)
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Completeness and decidability of general first-order logic (with a detour through the guarded fragment) (Q2363413) (← links)
- Guarded fragments with constants (Q2567342) (← links)
- (Q2853718) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- (Q3830519) (← links)
- (Q4226991) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- Logic between Expressivity and Complexity (Q5747755) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)