Pages that link to "Item:Q5311718"
From MaRDI portal
The following pages link to Truth definitions in finite models (Q5311718):
Displaying 4 items.
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- Rules with parameters in modal logic. II. (Q2004954) (← links)
- Computing queries with higher-order logics (Q2369013) (← links)
- Arity and alternation: a proper hierarchy in higher order logics (Q2385450) (← links)
