Pages that link to "Item:Q2445092"
From MaRDI portal
The following pages link to Satisfiability in composition-nominative logics (Q2445092):
Displaying 10 items.
- Satisfiability of mixed Horn formulas (Q997066) (← links)
- Many-sorted first-order composition-nominative logic as institution (Q1650348) (← links)
- Composition-nominative logics as institutions (Q1653557) (← links)
- Satisfiability of compositional separation logic with tree predicates and data constraints (Q2405271) (← links)
- Composition nominative logics of equitone predicates (Q2737328) (← links)
- Satisfiability problem in composition-nominative logics of quantifier-equational level with weak equality (Q2850242) (← links)
- Composition-nominative logics of quasi-ary predicates: semantic aspects (Q2850352) (← links)
- Satisfiability problem in propositional and renominative composition-nominative logic (Q2897511) (← links)
- Spectra and satisfiability for logics with successor and a unary function (Q5109229) (← links)
- Single-domain free logic and the problem of compositionality (Q6067309) (← links)