Compositional semantics for a language of imperfect information
From MaRDI portal
Publication:4353719
DOI10.1093/jigpal/5.4.539zbMath0945.03034OpenAlexW1990514682MaRDI QIDQ4353719
Publication date: 10 September 1997
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/dab6e76a7cd6c64af2f79e8c126397066d07768c
Related Items (only showing first 100 items - show all)
Dependence logic with generalized quantifiers: axiomatizations ⋮ Reduction of database independence to dividing in atomless Boolean algebras ⋮ Propositional union closed team logics ⋮ From IF to BI. A tale of dependence and separation ⋮ A double team semantics for generalized quantifiers ⋮ Towards a Suppositional Inquisitive Semantics ⋮ Axiomatizations of team logics ⋮ Doubly strongly first order dependencies ⋮ On Tarski's assumptions ⋮ Structural completeness in propositional logics of dependence ⋮ Hintikka's independence-friendly logic meets Nelson's realizability ⋮ Coherence in inquisitive first-order logic ⋮ A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC ⋮ Truth and definite truth ⋮ What languages have Tarski truth definitions? ⋮ Separation logic and logics with team semantics ⋮ Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence ⋮ On elementary logics for quantitative dependencies ⋮ On the Presburger fragment of logics with multiteam semantics ⋮ On definability of team relations with \(k\)-invariant atoms ⋮ On intermediate inquisitive and dependence logics: an algebraic study ⋮ Embedding causal team languages into predicate logic ⋮ Unnamed Item ⋮ Axiomatizing first-order consequences in dependence logic ⋮ Model-checking games for logics of imperfect information ⋮ The expressive power of modal logic with inclusion atoms ⋮ Cooperation in games and epistemic readings of independence-friendly sentences ⋮ A finite axiomatization of G-dependence ⋮ Upwards closed dependencies in team semantics ⋮ Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic ⋮ Equilibrium semantics of languages of imperfect information ⋮ Dependence of variables construed as an atomic formula ⋮ General models and entailment semantics for independence logic ⋮ Axiomatizing first order consequences in inclusion logic ⋮ Dependence and independence ⋮ Expressing second-order sentences in intuitionistic dependence logic ⋮ Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information ⋮ Epistemic operators in dependence logic ⋮ Compositional natural language semantics using independence friendly logic or dependence logic ⋮ Editorial introduction to the special issue: Dependence and independence in logic ⋮ What Is the Sense in Logic and Philosophy of Language ⋮ Unnamed Item ⋮ Semantic games with chance moves revisited: from IF logic to partial logic ⋮ Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information ⋮ Unnamed Item ⋮ The grammar of quantification and the fine structure of interpretation contexts ⋮ Complexity of two-variable dependence logic and IF-logic ⋮ Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies ⋮ Transition semantics: the dynamics of dependence logic ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions ⋮ Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications ⋮ Team semantics for the specification and verification of hyperproperties ⋮ On the complexity of team logic and its two-variable fragment ⋮ A simple logic of functional dependence ⋮ Complexity of validity for propositional dependence logics ⋮ Some combinatorics of imperfect information ⋮ Propositional team logics ⋮ On logical and concurrent equivalences ⋮ Generalized quantifiers in dependence logic ⋮ Complexity of syntactical tree fragments of independence-friendly logic ⋮ Imperfect Information in Logic and Concurrent Games ⋮ Classical negation and game-theoretical semantics ⋮ ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC ⋮ On the compositional extension problem ⋮ DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS ⋮ IF modal logic and classical negation ⋮ On the formal semantics of IF-like logics ⋮ The expressive power of \(k\)-ary exclusion logic ⋮ Negation and partial axiomatizations of dependence and independence logic revisited ⋮ Finite information logic ⋮ Thompson transformations for IF-logic ⋮ On Meta-Knowledge and Truth ⋮ Approximation and dependence via multiteam semantics ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ Disjunction and existence properties in inquisitive first-order logic ⋮ Safe dependency atoms and possibility operators in team semantics ⋮ Team semantics for interventionist counterfactuals: observations vs. interventions ⋮ On definability in dependence logic ⋮ LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE ⋮ Expressivity and Complexity of Dependence Logic ⋮ Grelling on Dependence ⋮ On Strongly First-Order Dependencies ⋮ Remarks on Compositionality ⋮ Dependency as Question Entailment ⋮ Supervenience, Dependence, Disjunction ⋮ Canonical Models and the Complexity of Modal Team Logic ⋮ Dependency Concepts up to Equivalence. ⋮ A Multi-type Calculus for Inquisitive Logic ⋮ The Expressive Power of k-ary Exclusion Logic ⋮ Modelling simultaneous games in dynamic logic ⋮ Equivalence Criteria for Compositional IF Modal Logics ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION ⋮ Model Checking and Validity in Propositional and Modal Inclusion Logics ⋮ Characterizing counterfactuals and dependencies over (generalized) causal teams ⋮ INQUISITIVE BISIMULATION ⋮ Hybrid logic meets IF modal logic ⋮ Hintikka and the functions of logic ⋮ Unnamed Item ⋮ The implication problem for functional dependencies and variants of marginal distribution equivalences ⋮ Hintikka on the foundations of mathematics: IF logic and uniformity concepts
This page was built for publication: Compositional semantics for a language of imperfect information
