The following pages link to (Q4362727):
Displaying 42 items.
- Propositional logics of dependence (Q278765) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
- Propositional team logics (Q526967) (← links)
- Dependence of variables construed as an atomic formula (Q636322) (← links)
- On the compositional extension problem (Q704036) (← links)
- On definability in dependence logic (Q735407) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- On the formal semantics of IF-like logics (Q980942) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- Finite information logic (Q1779313) (← links)
- Expressing second-order sentences in intuitionistic dependence logic (Q1956373) (← links)
- Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information (Q1956374) (← links)
- Team semantics for interventionist counterfactuals: observations vs. interventions (Q2037298) (← links)
- Propositional union closed team logics (Q2131275) (← links)
- Coherence in inquisitive first-order logic (Q2159932) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Disjunction and existence properties in inquisitive first-order logic (Q2278839) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- On Tarski's assumptions (Q2386111) (← links)
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709) (← links)
- Questions about quantifiers (Q3690797) (← links)
- (Q4250072) (← links)
- Breaking the Atom with Samson (Q4922090) (← links)
- Equivalence Criteria for Compositional IF Modal Logics (Q4982119) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
- Grelling on Dependence (Q5213640) (← links)
- Dependency as Question Entailment (Q5213645) (← links)
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION (Q5241230) (← links)
- On Dependence Logic (Q5249667) (← links)
- UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC (Q5737961) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)
- Alternating (in)dependence-friendly logic (Q6076360) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- Compactness in team semantics (Q6589156) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)
- Intermediate logics in the setting of team semantics (Q6612815) (← links)
- Temporal team semantics revisited (Q6649479) (← links)
