Pages that link to "Item:Q1909605"
From MaRDI portal
The following pages link to On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic (Q1909605):
Displaying 5 items.
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Completeness and decidability of general first-order logic (with a detour through the guarded fragment) (Q2363413) (← links)
- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility (Q2915076) (← links)
- (Q4503908) (← links)
- Interpolation for a sequent calculus of generalized quantifiers (Q4645224) (← links)