Pages that link to "Item:Q4353719"
From MaRDI portal
The following pages link to Compositional semantics for a language of imperfect information (Q4353719):
Displaying 50 items.
- Hintikka on the foundations of mathematics: IF logic and uniformity concepts (Q253125) (← links)
- Reduction of database independence to dividing in atomless Boolean algebras (Q283121) (← links)
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- Model-checking games for logics of imperfect information (Q391101) (← links)
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- Propositional team logics (Q526967) (← links)
- Truth and definite truth (Q598266) (← links)
- What languages have Tarski truth definitions? (Q598271) (← links)
- Equilibrium semantics of languages of imperfect information (Q636301) (← links)
- Dependence of variables construed as an atomic formula (Q636322) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← 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)
- Upwards closed dependencies in team semantics (Q897651) (← links)
- On the formal semantics of IF-like logics (Q980942) (← links)
- Modelling simultaneous games in dynamic logic (Q1024134) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- Meaning and use of indefinite expressions (Q1610621) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- Cooperation in games and epistemic readings of independence-friendly sentences (Q1689283) (← links)
- A finite axiomatization of G-dependence (Q1689285) (← links)
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic (Q1693039) (← links)
- Finite information logic (Q1779313) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- General models and entailment semantics for independence logic (Q1949170) (← links)
- Dependence and independence (Q1956372) (← 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)
- Epistemic operators in dependence logic (Q1956375) (← links)
- Compositional natural language semantics using independence friendly logic or dependence logic (Q1956381) (← links)
- Editorial introduction to the special issue: Dependence and independence in logic (Q1956382) (← links)
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← links)
- IF modal logic and classical negation (Q2016064) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Team semantics for interventionist counterfactuals: observations vs. interventions (Q2037298) (← links)
- Characterizing counterfactuals and dependencies over (generalized) causal teams (Q2080697) (← links)
- The implication problem for functional dependencies and variants of marginal distribution equivalences (Q2103913) (← links)
- Propositional union closed team logics (Q2131275) (← 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)
- Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence (Q2172822) (← links)
- On elementary logics for quantitative dependencies (Q2172823) (← links)
- On the Presburger fragment of logics with multiteam semantics (Q2172824) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
