Pages that link to "Item:Q833040"
From MaRDI portal
The following pages link to From IF to BI. A tale of dependence and separation (Q833040):
Displaying 41 items.
- Propositional logics of dependence (Q278765) (← links)
- Dependence logic with a majority quantifier (Q302214) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Propositional team logics (Q526967) (← links)
- Equilibrium semantics of languages of imperfect information (Q636301) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- Questions as information types (Q1708968) (← links)
- Bunched logics displayed (Q1935559) (← links)
- General models and entailment semantics for independence logic (Q1949170) (← links)
- Expressing second-order sentences in intuitionistic dependence logic (Q1956373) (← links)
- Epistemic operators in dependence logic (Q1956375) (← links)
- Complexity results for modal dependence logic (Q1956378) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- Coherence in inquisitive first-order logic (Q2159932) (← links)
- Separation logic and logics with team semantics (Q2172820) (← links)
- On intermediate inquisitive and dependence logics: an algebraic study (Q2172827) (← links)
- Questions and dependency in intuitionistic logic (Q2176408) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← 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)
- A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- Characterizing quantifier extensions of dependence logic (Q4916562) (← links)
- Breaking the Atom with Samson (Q4922090) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS (Q5046603) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- On Strongly First-Order Dependencies (Q5213641) (← links)
- Dependency as Question Entailment (Q5213645) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- On Dependence Logic (Q5249667) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- Esakia duals of regular Heyting algebras (Q6183438) (← 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)
- Dimension in team semantics (Q6620027) (← links)
