4 citations · 13 across the 13 of their papers we have counts for
13 papers
The flattening operator in team-based logics
Arnaud Durand, Juha Kontinen, Werner Mérian +1
We propose a systematic study of the so-called flattening operator in team semantics. This operator was first introduced by Hodges in 1997, and has not been studied in more detail…
On the categoricity of complete second order theories
Tapio Saarinen, Jouko Väänänen, William Hugh Woodin
We show, assuming PD, that every complete finitely axiomatized second order theory with a countable model is categorical, but that there is, assuming again PD, a complete recursive…
An atom's worth of anonymity
Jouko Väänänen
Anonymity has gained notoriety in modern times as data about our actions and choices accumulates in the internet partly unbeknownst to us and partly by our own choice. Usually peop…
Modular SAT-based techniques for reasoning tasks in team semantics
Arnaud Durand, Juha Kontinen, Jouko Väänänen
We study the complexity of reasoning tasks for logics in team semantics. Our main focus is on the data complexity of model checking but we also derive new results for logically def…
Bounded Symbiosis and Upwards Reflection
Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen
Bagaria and Väänänen developed a framework for studying the large cardinal strength of downwards Löwenheim-Skolem theorems and related set theoretic reflection properties. The main…
Tracing Internal Categoricity
Jouko Väänänen
Informally speaking, the categoricity of an axiom system means that its non-logical symbols have only one possible interpretation that renders the axioms true. Although non-categor…