The following pages link to Model-Theoretic Logics (Q4570949):
Displaying 14 items.
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- A logico-algebraic approach to the model theory of knowledge (Q1263299) (← links)
- Mechanised modal model theory (Q2096473) (← links)
- Model theory (Q2756718) (← links)
- (Q3320347) (← links)
- (Q3509723) (← links)
- (Q3520836) (← links)
- (Q3703880) (← links)
- (Q4329351) (← links)
- (Q4395036) (← links)
- (Q4856954) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- (Q5494212) (← links)
- Generalized quantification as substructural logic (Q5687328) (← links)