Pages that link to "Item:Q2897499"
From MaRDI portal
The following pages link to First-order composition-nominative logics (Q2897499):
Displaying 14 items.
- Propositional compositions of partial predicates (Q1592086) (← links)
- Many-sorted first-order composition-nominative logic as institution (Q1650348) (← links)
- Composition-nominative logics as institutions (Q1653557) (← links)
- First-order logics of quasiary predicates (Q2247805) (← links)
- Satisfiability in composition-nominative logics (Q2445092) (← links)
- Pure composition nominative calculi (Q2737108) (← links)
- Composition nominative logics of equitone predicates (Q2737328) (← links)
- Composition nominative first order calculi (Q2745130) (← links)
- Composition nominative first order logics (Q2745194) (← links)
- Satisfiability problem in composition-nominative logics of quantifier-equational level with weak equality (Q2850242) (← links)
- Semantic aspects of transitional composition-nominative modal logics (Q2850303) (← links)
- Composition-nominative logics of quasi-ary predicates: semantic aspects (Q2850352) (← links)
- Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach (Q2897444) (← links)
- Satisfiability problem in propositional and renominative composition-nominative logic (Q2897511) (← links)