The following pages link to (Q4860647):
Displaying 10 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)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
- On squares of modal logics with additional connectives (Q2510775) (← links)
- On the relative expressiveness of description logics and predicate logics (Q2674209) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
