Dag Westerståhl

Available identifiers

zbMath Open westerstahl.dagWikidataQ102311837 ScholiaQ102311837MaRDI QIDQ383073

List of research outcomes

Publication	Date of Publication	Type
Compositionality in context	2024-10-01	Paper
Foundations of logic. Completeness, incompleteness, computability	2024-02-01	Paper
CARNAP’S PROBLEM FOR MODAL LOGIC	2023-05-26	Paper
Carnap's problem for intuitionistic propositional logic	2022-07-29	Paper
Generalized Quantifiers Meet Modal Neighborhood Semantics	2021-12-10	Paper
Sameness	2020-02-05	Paper
Compositionality solves Carnap's problem	2018-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q5271414	2017-07-11	Paper
Dynamic Versus Classical Consequence	2015-05-11	Paper
From constants to consequence, and back	2013-11-25	Paper
Quantifiers in Formal and Natural Languages	2013-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4903915	2013-01-28	Paper
Consequence mining. Constants versus consequence relations	2012-12-04	Paper
Logical Consequence Inside Out	2010-10-12	Paper
DECOMPOSING GENERALIZED QUANTIFIERS	2010-08-13	Paper
Proofs instead of Meaning Explanations: Understanding Classical vs Intuitionistic Mathematics from the Outside	2010-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q3367306	2006-01-24	Paper
On the compositional extension problem	2005-01-12	Paper
On the expressive power of monotone natural language quantifiers over finite models	2003-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4532205	2002-11-13	Paper
Relativization of quantifiers in finite models	2001-07-05	Paper
Editorial: Compositionality: Current issues	2001-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4941999	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4395563	1998-08-04	Paper
Definability of polyadic lifts of generalized quantifiers	1998-01-28	Paper
Self-commuting quantifiers	1997-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4342068	1997-07-08	Paper
Directions in generalized quantifier theory	1996-07-01	Paper
Predicate logic with flexibly binding operators and natural language semantics	1994-02-22	Paper
Aristotelian syllogisms and generalized quantifiers	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3211286	1987-01-01	Paper
Logical constants in quantifier languages	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4724605	1985-01-01	Paper
Some results on quantifiers	1984-01-01	Paper

Research outcomes over time

This page was built for person: Dag Westerståhl