Pages that link to "Item:Q4353719"
From MaRDI portal
The following pages link to Compositional semantics for a language of imperfect information (Q4353719):
Displaying 29 items.
- (Q5232899) (← links)
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION (Q5241230) (← links)
- On Dependence Logic (Q5249667) (← links)
- Independence logic and abstract independence relations (Q5258482) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)
- (Q5376655) (← links)
- UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC (Q5737961) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Team Logic and Second-Order Logic (Q5902156) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918401) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918795) (← links)
- Complexity thresholds in inclusion logic (Q5925562) (← links)
- Henkin quantifiers and the definability of truth (Q5928923) (← links)
- Alternating (in)dependence-friendly logic (Q6076360) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- Strongly first order, domain independent dependencies: the union-closed case (Q6160748) (← links)
- Positive modal logic beyond distributivity (Q6179826) (← links)
- Esakia duals of regular Heyting algebras (Q6183438) (← links)
- Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals (Q6545572) (← links)
- Logics with probabilistic team semantics and the Boolean negation (Q6545573) (← links)
- Formalizing statistical causality via modal logic (Q6545574) (← links)
- Compactness in team semantics (Q6589156) (← links)
- Compositionality in context (Q6612797) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)
- Intermediate logics in the setting of team semantics (Q6612815) (← links)
- Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence (Q6630197) (← links)
- The implication problem for functional dependencies and variants of marginal distribution equivalences (Q6636619) (← links)
- Multiteam semantics for interventionist counterfactuals: probabilities and causation (Q6655115) (← links)
