Pages that link to "Item:Q4353719"

The following pages link to Compositional semantics for a language of imperfect information (Q4353719):

Displaying 50 items.

• On intermediate inquisitive and dependence logics: an algebraic study (Q2172827) (← links)
• Embedding causal team languages into predicate logic (Q2172831) (← links)
• A simple logic of functional dependence (Q2240545) (← links)
• Generalized quantifiers in dependence logic (Q2255198) (← links)
• Classical negation and game-theoretical semantics (Q2258540) (← links)
• The expressive power of \(k\)-ary exclusion logic (Q2273014) (← links)
• Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
• Disjunction and existence properties in inquisitive first-order logic (Q2278839) (← links)
• Hintikka and the functions of logic (Q2334655) (← links)
• Dependence logic with generalized quantifiers: axiomatizations (Q2361348) (← links)
• On Tarski's assumptions (Q2386111) (← links)
• Semantic games with chance moves revisited: from IF logic to partial logic (Q2441754) (← links)
• The grammar of quantification and the fine structure of interpretation contexts (Q2443334) (← links)
• Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies (Q2453581) (← links)
• Thompson transformations for IF-logic (Q2500828) (← links)
• Axiomatizations of team logics (Q2636536) (← links)
• Some combinatorics of imperfect information (Q2747710) (← links)
• A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
• The Expressive Power of k-ary Exclusion Logic (Q2820708) (← links)
• Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
• Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications (Q3299589) (← links)
• (Q3384878) (← links)
• Towards a Suppositional Inquisitive Semantics (Q3455185) (← links)
• On Meta-Knowledge and Truth (Q3600575) (← links)
• (Q3604280) (← links)
• On logical and concurrent equivalences (Q4917082) (← links)
• Imperfect Information in Logic and Concurrent Games (Q4922070) (← links)
• ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC (Q4928773) (← links)
• LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
• Equivalence Criteria for Compositional IF Modal Logics (Q4982119) (← links)
• INQUISITIVE BISIMULATION (Q5000255) (← links)
• Team semantics for the specification and verification of hyperproperties (Q5005106) (← links)
• On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
• The expressive power of modal logic with inclusion atoms (Q5013883) (← links)
• (Q5020523) (← links)
• A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC (Q5078812) (← links)
• Dependency Concepts up to Equivalence. (Q5079749) (← links)
• Canonical Models and the Complexity of Modal Team Logic (Q5079755) (← links)
• Model Checking and Validity in Propositional and Modal Inclusion Logics (Q5111246) (← links)
• Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
• What Is the Sense in Logic and Philosophy of Language (Q5126213) (← links)
• (Q5155675) (← links)
• DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS (Q5177884) (← links)
• CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
• Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
• Grelling on Dependence (Q5213640) (← links)
• On Strongly First-Order Dependencies (Q5213641) (← links)
• Remarks on Compositionality (Q5213643) (← links)
• Dependency as Question Entailment (Q5213645) (← links)
• Supervenience, Dependence, Disjunction (Q5215498) (← links)