| Publication | Date of Publication | Type |
|---|
Generalized quantifiers using team semantics
(available as arXiv preprint) | N/A | Paper |
Intuitionistic Implication in Elementary Team Logics
(available as arXiv preprint) | 2026-01-01 | Paper |
Generalized Quantifiers: Scope Dominance and Branching
(available as arXiv preprint) | 2026-01-01 | Paper |
| The propositional logic of teams | 2023-03-24 | Paper |
The propositional logic of teams
(available as arXiv preprint) | 2023-01-01 | Paper |
Invariance and definability, with and without equality
Notre Dame Journal of Formal Logic | 2018-03-08 | Paper |
Invariance and definability, with and without equality
Notre Dame Journal of Formal Logic | 2018-03-08 | Paper |
Dependence logic with generalized quantifiers: axiomatizations
Journal of Computer and System Sciences | 2017-06-30 | Paper |
Generalized quantifiers in dependence logic
Journal of Logic, Language and Information | 2015-02-09 | Paper |
Reasoning about truth in first-order logic
Journal of Logic, Language and Information | 2015-02-09 | Paper |
| Implicitly definable generalized quantifiers | 2014-10-14 | Paper |
Implicitly definable generalized quantifiers
(available as arXiv preprint) | 2014-01-01 | Paper |
Dependence logic with generalized quantifiers: axiomatizations
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
Dependence logic with generalized quantifiers: axiomatizations
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
Characterizing quantifier extensions of dependence logic
Journal of Symbolic Logic | 2013-04-23 | Paper |
Characterizing quantifier extensions of dependence logic
Journal of Symbolic Logic | 2013-04-23 | Paper |
Transplendent models: expansions omitting a type
Notre Dame Journal of Formal Logic | 2012-11-23 | Paper |
Non-isomorphism invariant Borel quantifiers
Proceedings of the American Mathematical Society | 2011-12-13 | Paper |
| Non-permutation invariant Borel quantifiers | 2010-03-12 | Paper |
Non-permutation invariant Borel quantifiers
(available as arXiv preprint) | 2010-01-01 | Paper |
A note on standard systems and ultrafilters
Journal of Symbolic Logic | 2009-03-23 | Paper |
| Expansions, omitting types, and standard systems | 2004-10-25 | Paper |
Expansions, omitting types, and standard systems
(available as arXiv preprint) | 2004-01-01 | Paper |
| Satisfaction classes in nonstandard models of first-order arithmetic | 2002-09-30 | Paper |
Satisfaction classes in nonstandard models of first-order arithmetic
(available as arXiv preprint) | 2002-01-01 | Paper |
