The following pages link to Taming first-order logic (Q4383703):
Displaying 8 items.
- On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic (Q1909605) (← links)
- Taming logic (Q1909607) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Atoms in infinite dimensional free sequence-set algebras (Q2328129) (← links)
- Undecidable relativizations of algebras of relations (Q4262581) (← links)
- (Q4360862) (← links)
- (Q4950082) (← links)
- Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)