scientific article; zbMATH DE number 2062214
From MaRDI portal
Publication:4459084
zbMATH Open1043.03047MaRDI QIDQ4459084
Publication date: 25 March 2004
Title of this publication is not available (Why is that?)
Related Items (10)
On the ontology of branching quantifiers ⋮ Semantic properties of \(T\)-consequence relation in logics of quasiary predicates ⋮ Semantical analysis of superrelevant predicate logics with quantification ⋮ Quantifiers in logic and proof-search using permissive-nominal terms and sets ⋮ Foundations for entailment checking in quantitative separation logic ⋮ On the homogeneity property for certain quantifier logics ⋮ Logical semirings and their usage for construction of quick algorithms ⋮ Composition-nominative logics of quasi-ary predicates: semantic aspects ⋮ Characterizations of Weighted First-Order Logics over Semirings ⋮ Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
Recommendations
- On propositional quantifiers in provability logic 👍 👎
- Partial semantics for quantified modal logic 👍 👎
- Quantized linear logic, involutive quantales and strong negation 👍 👎
- On semilattice relevant logics 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
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)