scientific article; zbMATH DE number 2062214
From MaRDI portal
Publication:4459084
Recommendations
- On semilattice relevant logics
- Quantifiers on multiplicative semilattices. I
- On propositional quantifiers in provability logic
- scientific article; zbMATH DE number 1140581
- scientific article; zbMATH DE number 5295712
- Partial semantics for quantified modal logic
- Quantized linear logic, involutive quantales and strong negation
- scientific article; zbMATH DE number 1746566
- scientific article; zbMATH DE number 795162
- scientific article; zbMATH DE number 1163938
Cited in
(11)- On the ontology of branching quantifiers
- On the homogeneity property for certain quantifier logics
- Characterizations of Weighted First-Order Logics over Semirings
- Quantifiers on multiplicative semilattices. I
- Semantic properties of \(T\)-consequence relation in logics of quasiary predicates
- Composition-nominative logics of quasi-ary predicates: semantic aspects
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
- Semantical analysis of superrelevant predicate logics with quantification
- Foundations for entailment checking in quantitative separation logic
- Quantifiers in logic and proof-search using permissive-nominal terms and sets
- Logical semirings and their usage for construction of quick algorithms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4459084)
