Some strange quantifiers
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4143963
- scientific article; zbMATH DE number 4191602
- Deterministic and nondeterministic strategies for Hintikka games in first-order and branching-quantifier logic
- Compositional semantics for a language of imperfect information
- On the ontology of branching quantifiers
Cited in
(49)- Hybrid logic meets IF modal logic
- Finite information logic
- Expressing second-order sentences in intuitionistic dependence logic
- Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information
- Team semantics for interventionist counterfactuals: observations vs. interventions
- Propositional union closed team logics
- Coherence in inquisitive first-order logic
- Disjunction and existence properties in inquisitive first-order logic
- Boolean dependence logic and partially-ordered connectives
- On Tarski's assumptions
- Propositional logics of dependence
- Characterizing relative frame definability in team semantics via the universal modality
- Structural completeness in propositional logics of dependence
- Deterministic and nondeterministic strategies for Hintikka games in first-order and branching-quantifier logic
- scientific article; zbMATH DE number 4143963 (Why is no real title available?)
- Questions about quantifiers
- Axiomatizing first-order consequences in dependence logic
- scientific article; zbMATH DE number 1303461 (Why is no real title available?)
- Complexity of two-variable dependence logic and IF-logic
- Breaking the atom with Samson
- Equivalence criteria for compositional IF modal logics
- INQUISITIVE BISIMULATION
- Axiomatizing first order consequences in inclusion logic
- Grelling on dependence
- Dependency as question entailment
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
- On dependence logic
- Propositional team logics
- A remark on Henkin sentences and their contraries
- Uniform definability in propositional dependence logic
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Independence-friendly logic without Henkin quantification
- Alternating (in)dependence-friendly logic
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
- Dependence of variables construed as an atomic formula
- Compactness in team semantics
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
- Intermediate logics in the setting of team semantics
- Temporal team semantics revisited
- Inclusion with repetitions and Boolean constants -- implication problems revisited
- The flattening operator in team-based logics
- Axiomatizing modal inclusion logic and its variants
- State-based modal logics for free choice
- On the compositional extension problem
- Connecting state-based and team-based inquisitive logic
- On definability in dependence logic
- On the expressive power of inquisitive epistemic logic
- From IF to BI. A tale of dependence and separation
- On the formal semantics of IF-like logics
This page was built for publication: Some strange quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4362727)
