Compositional semantics for a language of imperfect information
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Modelling simultaneous games in dynamic logic
- Hybrid logic meets IF modal logic
- Meaning and use of indefinite expressions
- Hintikka's independence-friendly logic meets Nelson's realizability
- Cooperation in games and epistemic readings of independence-friendly sentences
- A finite axiomatization of G-dependence
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
- Finite information logic
- Approximation and dependence via multiteam semantics
- General models and entailment semantics for independence 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
- Complexity of syntactical tree fragments of independence-friendly logic
- IF modal logic and classical negation
- Safe dependency atoms and possibility operators in team semantics
- Team semantics for interventionist counterfactuals: observations vs. interventions
- Characterizing counterfactuals and dependencies over (generalized) causal teams
- The implication problem for functional dependencies and variants of marginal distribution equivalences
- Propositional union closed team logics
- Doubly strongly first order dependencies
- Coherence in inquisitive first-order logic
- 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
- A simple logic of functional dependence
- Generalized quantifiers in dependence logic
- Classical negation and game-theoretical semantics
- The expressive power of \(k\)-ary exclusion logic
- Disjunction and existence properties in inquisitive first-order logic
- Hintikka and the functions of logic
- Dependence logic with generalized quantifiers: axiomatizations
- On Tarski's assumptions
- Semantic games with chance moves revisited: from IF logic to partial logic
- The grammar of quantification and the fine structure of interpretation contexts
- Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
- Thompson transformations for IF-logic
- Hintikka on the foundations of mathematics: IF logic and uniformity concepts
- Axiomatizations of team logics
- Some combinatorics of imperfect information
- A Multi-type Calculus for Inquisitive Logic
- The expressive power of \(k\)-ary exclusion logic
- Reduction of database independence to dividing in atomless Boolean algebras
- A double team semantics for generalized quantifiers
- Sensible semantics of imperfect information. On a formal feature of meanings
- On Ramsey's `silly delusion' regarding Tractatus 5.53
- Dynamic logics of imperfect information: from teams and games to transitions
- Structural completeness in propositional logics of dependence
- scientific article; zbMATH DE number 7447734 (Why is no real title available?)
- Towards a suppositional inquisitive semantics
- On Meta-Knowledge and Truth
- scientific article; zbMATH DE number 5510998 (Why is no real title available?)
- Axiomatizing first-order consequences in dependence logic
- Model-checking games for logics of imperfect information
- scientific article; zbMATH DE number 1086489 (Why is no real title available?)
- scientific article; zbMATH DE number 1361517 (Why is no real title available?)
- Complexity of two-variable dependence logic and IF-logic
- On logical and concurrent equivalences
- Imperfect information in logic and concurrent games
- ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC
- Logics for propositional determinacy and independence
- Equivalence criteria for compositional IF modal logics
- INQUISITIVE BISIMULATION
- Team semantics for the specification and verification of hyperproperties
- On the complexity of team logic and its two-variable fragment
- The expressive power of modal logic with inclusion atoms
- Characterizing strongly first order dependencies: the non-jumping relativizable case
- A first-order framework for inquisitive modal logic
- Dependency Concepts up to Equivalence.
- Canonical models and the complexity of modal team logic
- Model checking and validity in propositional and modal inclusion logics
- Axiomatizing first order consequences in inclusion logic
- What is the sense in logic and philosophy of language
- scientific article; zbMATH DE number 7407786 (Why is no real title available?)
- Complexity of validity for propositional dependence logics
- Dichotomy result for independence-friendly prefixes of generalized quantifiers
- Characterizing downwards closed, strongly first-order, relativizable dependencies
- Expressivity and Complexity of Dependence Logic
- Grelling on dependence
- On strongly first-order dependencies
- Remarks on compositionality
- Dependency as question entailment
- Supervenience, dependence, disjunction
- On the succinctness of atoms of dependency
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
- On dependence logic
- Independence logic and abstract independence relations
- Propositional team logics
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
- scientific article; zbMATH DE number 7056228 (Why is no real title available?)
- Uniform definability in propositional dependence logic
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Team Logic and Second-Order Logic
This page was built for publication: Compositional semantics for a language of imperfect information
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4353719)
