Pages that link to "Item:Q5311718"
From MaRDI portal
The following pages link to Truth definitions in finite models (Q5311718):
Displaying 8 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)
- Exact truthmaking as inexact truthmaking by minimal totality facts (Q2086533) (← links)
- Computing queries with higher-order logics (Q2369013) (← links)
- Arity and alternation: a proper hierarchy in higher order logics (Q2385450) (← links)
- Theories of truth for countable languages which conform to classical logic (Q5148116) (← links)
- (Q5149138) (← links)
- (Q5441554) (← links)