The following pages link to (Q4860647):
Displayed 5 items.
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Hyperresolution for guarded formulae (Q1404983) (← links)
- Minimal temporal epistemic logic (Q1815428) (← links)
- On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic (Q1909605) (← links)
- Taming logic (Q1909607) (← links)