Concept
Quantification (logique)
Publications associées (194)
Interpolation and Quantifiers in Ortholattices
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
We study quantifiers and interpolation properties in ortho- logic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based p ...
2024Interpolation and Quantifiers in Ortholattices
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
We study quantifiers and interpolation properties in orthologic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based pro ...
Cham2024The Impact of Data Persistence Bias on Social Media Studies
Social media studies often collect data retrospectively to analyze public opinion. Social media data may decay over time and such decay may prevent the collection of the complete dataset. As a result, the collected dataset may differ from the complete data ...
New York2023Decision Procedures for Power Structures
We study the decision problem for the existential fragment of the theory of power structures. We prove complexity results that parallel the decidability results of Feferman-Vaught for the theories of product structures thereby showing that the construction ...
EPFL2023A novel methodology to identify and quantify deepwater-renewal processes during winter cooling in a large, deep lake (Lake Geneva)
David Andrew Barry, Ulrich Lemmin, Naifu Peng, François Mettra, Rafael Sebastian Reiss
We propose a novel methodology – heat budget decomposition – to identify and quantify different deepwater-renewal processes during a very cold spell in 2012 in a large, deep lake (Lake Geneva, 309-m depth). Combined with field observations and numerical mo ...
2023Demand-based Asset Pricing: Theory, Estimation and Applications
This thesis investigates the relationship between investors' demand shocks and asset pricesthrough the use of data on portfolio holdings. In three chapters, I study the theory, estimation,and application of demand-based asset pricing models, which incorpor ...
EPFL2023