The following pages link to (Q4459084):
Displaying 10 items.
- Semantical analysis of superrelevant predicate logics with quantification (Q1109761) (← links)
- On the homogeneity property for certain quantifier logics (Q1204106) (← links)
- Logical semirings and their usage for construction of quick algorithms (Q1280316) (← links)
- Semantic properties of \(T\)-consequence relation in logics of quasiary predicates (Q1650326) (← links)
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings (Q2576952) (← links)
- On the ontology of branching quantifiers (Q2639049) (← links)
- Characterizations of Weighted First-Order Logics over Semirings (Q2850020) (← links)
- Composition-nominative logics of quasi-ary predicates: semantic aspects (Q2850352) (← links)
- Quantifiers in logic and proof-search using permissive-nominal terms and sets (Q3195622) (← links)
- Foundations for entailment checking in quantitative separation logic (Q6166785) (← links)