| Publication | Date of Publication | Type |
|---|
Dimension in team semantics
Mathematical Structures in Computer Science | 2024-10-16 | Paper |
Modular SAT-based techniques for reasoning tasks in team semantics
Journal of Computer and System Sciences | 2024-10-08 | Paper |
The strategic balance of games in logic
| 2024-10-01 | Paper |
An atom’s worth of anonymity
Logic Journal of the IGPL | 2024-02-20 | Paper |
Model theory of second order logic
Beyond First Order Model Theory, Volume II | 2024-01-12 | Paper |
When cardinals determine the power set: inner models and Härtig quantifier logic
Mathematical Logic Quarterly | 2024-01-02 | Paper |
Philosophical Uses of Categoricity Arguments
| 2023-11-29 | Paper |
Aronszajn trees and maximality -- Part 2
| 2023-05-13 | Paper |
Positive logics
Archive for Mathematical Logic | 2023-04-27 | Paper |
Dimension in team semantics
| 2023-04-06 | Paper |
Sort logic and foundations of mathematics
| 2023-02-12 | Paper |
Tractability Frontier of Data Complexity in Team Semantics
ACM Transactions on Computational Logic | 2022-12-08 | Paper |
The Strategic Balance of Games in Logic
| 2022-12-03 | Paper |
On highly equivalent non-isomorphic countable models of arithmetic and set theory
| 2022-08-27 | Paper |
LOGICALITY AND MODEL CLASSES
The Bulletin of Symbolic Logic | 2022-03-01 | Paper |
Diversity, dependence and independence
Annals of Mathematics and Artificial Intelligence | 2022-02-14 | Paper |
Chain logic and Shelah's infinitary logic
Israel Journal of Mathematics | 2022-01-13 | Paper |
Tractability frontier of data complexity in team semantics
| 2021-12-03 | Paper |
Inner models from extended logics. I
Journal of Mathematical Logic | 2021-10-18 | Paper |
Logicality and Model Classes
| 2021-06-25 | Paper |
Diversity, dependence and independence
Lecture Notes in Computer Science | 2020-10-26 | Paper |
Positive logics
| 2020-08-03 | Paper |
Bounded Symbiosis and Upwards Reflection
| 2020-07-29 | Paper |
The logic of approximate dependence
Outstanding Contributions to Logic | 2020-07-27 | Paper |
Inner Models from Extended Logics: Part 1
| 2020-07-21 | Paper |
Tracing Internal Categoricity
| 2020-05-24 | Paper |
Grelling on dependence
Dependence Logic | 2020-02-04 | Paper |
The Size of a Formula as a Measure of Complexity
Logic Without Borders | 2020-02-03 | Paper |
Pursuing Logic without Borders
Logic Without Borders | 2020-02-03 | Paper |
Diversity, Dependence and Independence
| 2019-12-06 | Paper |
A logical approach to context-specific independence
Annals of Pure and Applied Logic | 2019-09-18 | Paper |
A logical approach to context-specific independence
Annals of Pure and Applied Logic | 2019-09-01 | Paper |
Chain Logic and Shelah's Infinitary Logic
| 2019-08-03 | Paper |
An extension of a theorem of Zermelo
The Bulletin of Symbolic Logic | 2019-08-01 | Paper |
Some strong logics within combinatorial set theory and the logic of chains
| 2019-07-05 | Paper |
Squeezing arguments and strong logics
| 2018-10-15 | Paper |
Modal dependence logic
| 2018-01-03 | Paper |
A logic for arguing about probabilities in measure teams
Archive for Mathematical Logic | 2017-09-15 | Paper |
scientific article; zbMATH DE number 6739884 (Why is no real title available?)
| 2017-07-05 | Paper |
Dependence logic with generalized quantifiers: axiomatizations
Journal of Computer and System Sciences | 2017-06-30 | Paper |
JAAKKO HINTIKKA 1929–2015
The Bulletin of Symbolic Logic | 2017-05-26 | Paper |
Propositional team logics
Annals of Pure and Applied Logic | 2017-05-15 | Paper |
A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals
Fundamenta Mathematicae | 2017-05-10 | Paper |
A Logical Approach to Context-Specific Independence
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS
Journal of Symbolic Logic | 2016-08-19 | Paper |
Dependence logic in pregeometries and \(\omega\)-stable theories
The Journal of Symbolic Logic | 2016-05-09 | Paper |
Propositional logics of dependence
Annals of Pure and Applied Logic | 2016-05-02 | Paper |
Multiverse set theory and absolutely undecidable propositions
| 2016-01-27 | Paper |
Quantum team logic and Bell's inequalities
The Review of Symbolic Logic | 2015-12-30 | Paper |
Regular ultrapowers at regular cardinals
Notre Dame Journal of Formal Logic | 2015-09-29 | Paper |
EMS Paper on Open Access
European Mathematical Society Newsletter | 2015-07-06 | Paper |
Second order logic, set theory and foundations of mathematics
Epistemology versus Ontology | 2015-06-05 | Paper |
Internal categoricity in arithmetic and set theory
Notre Dame Journal of Formal Logic | 2015-05-22 | Paper |
Boolean-valued second-order logic
Notre Dame Journal of Formal Logic | 2015-05-22 | Paper |
Positional strategies in long Ehrenfeucht-Fraïssé games
Journal of Symbolic Logic | 2015-05-20 | Paper |
On dependence logic
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Sort logic and foundations of mathematics
Infinity and Truth | 2015-03-16 | Paper |
On second-order characterizability
Logic Journal of the IGPL | 2015-02-27 | Paper |
Lindström's theorem
| 2014-05-19 | Paper |
Axiomatizing first-order consequences in dependence logic
Annals of Pure and Applied Logic | 2013-12-19 | Paper |
An Ehrenfeucht-Fraïssé game for \(\mathcal L_{\omega_1\omega}\)
Mathematical Logic Quarterly (MLQ) | 2013-10-30 | Paper |
A taste of set theory for philosophers
| 2013-10-04 | Paper |
Independence in database relations
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
Dependence logic with generalized quantifiers: axiomatizations
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
Dependence and independence
Studia Logica | 2013-06-13 | Paper |
Breaking the atom with Samson
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Second order logic or set theory?
The Bulletin of Symbolic Logic | 2012-04-20 | Paper |
Tennenbaum's proof of the irrationality of \(\sqrt 2\)
| 2012-03-02 | Paper |
On Löwenheim-Skolem-Tarski numbers for extensions of first order logic
Journal of Mathematical Logic | 2011-10-24 | Paper |
Chain models, trees of singular cardinality and dynamic EF-games
Journal of Mathematical Logic | 2011-10-24 | Paper |
Dependence of variables construed as an atomic formula
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Erratum to: ``On definability in dependence logic
Journal of Logic, Language and Information | 2011-04-05 | Paper |
A remark on negation in dependence logic
Notre Dame Journal of Formal Logic | 2011-03-07 | Paper |
scientific article; zbMATH DE number 5853298 (Why is no real title available?)
| 2011-02-18 | Paper |
Team logic
| 2010-07-09 | Paper |
On definability in dependence logic
Journal of Logic, Language and Information | 2009-10-21 | Paper |
Lindstrom theorems for fragments of first-order logic
Logical Methods in Computer Science | 2009-08-20 | Paper |
From IF to BI. A tale of dependence and separation
Synthese | 2009-08-11 | Paper |
The Craig interpolation theorem in abstract model theory
Synthese | 2009-06-16 | Paper |
Regular ultrafilters and finite square principles
Journal of Symbolic Logic | 2009-03-23 | Paper |
scientific article; zbMATH DE number 5316601 (Why is no real title available?)
| 2008-08-26 | Paper |
scientific article; zbMATH DE number 5295740 (Why is no real title available?)
| 2008-07-01 | Paper |
Applications of regular filters and square principles in model theory
| 2008-02-11 | Paper |
Dependence logic. A new approach to independence friendly logic
| 2007-06-14 | Paper |
Recursive logic frames
MLQ | 2006-05-16 | Paper |
On ordinals accessible by infinitary languages
Fundamenta Mathematicae | 2005-09-29 | Paper |
scientific article; zbMATH DE number 2209800 (Why is no real title available?)
| 2005-09-28 | Paper |
scientific article; zbMATH DE number 2208072 (Why is no real title available?)
| 2005-09-26 | Paper |
scientific article; zbMATH DE number 2196607 (Why is no real title available?)
| 2005-08-22 | Paper |
Finite information logic
Annals of Pure and Applied Logic | 2005-06-01 | Paper |
Barwise: Abstract Model Theory and Generalized Quantifiers
The Bulletin of Symbolic Logic | 2005-05-24 | Paper |
A note on extensions of infinitary logic
Archive for Mathematical Logic | 2005-02-22 | Paper |
Games played on partial isomorphisms
Archive for Mathematical Logic | 2004-09-22 | Paper |
On the expressive power of monotone natural language quantifiers over finite models
Journal of Philosophical Logic | 2003-07-22 | Paper |
scientific article; zbMATH DE number 1827959 (Why is no real title available?)
| 2003-02-06 | Paper |
More on the Ehrenfeucht–Fraisse game of length ω1
Fundamenta Mathematicae | 2003-01-28 | Paper |
On the semantics of informational independence
Logic Journal of the IGPL | 2002-09-18 | Paper |
Second-Order Logic and Foundations of Mathematics
The Bulletin of Symbolic Logic | 2002-04-29 | Paper |
Stationary sets and infinitary logic
Journal of Symbolic Logic | 2001-05-03 | Paper |
scientific article; zbMATH DE number 1453076 (Why is no real title available?)
| 2001-05-01 | Paper |
Quantifiers and congruence closure
Studia Logica | 2000-10-25 | Paper |
Trees and Ehrenfeucht-Fraïssé games
Annals of Pure and Applied Logic | 2000-05-09 | Paper |
scientific article; zbMATH DE number 1163933 (Why is no real title available?)
| 1999-02-02 | Paper |
Definability of polyadic lifts of generalized quantifiers
Journal of Logic, Language and Information | 1998-01-28 | Paper |
Unary quantifiers on finite models
Journal of Logic, Language and Information | 1998-01-28 | Paper |
scientific article; zbMATH DE number 1109359 (Why is no real title available?)
| 1998-01-25 | Paper |
scientific article; zbMATH DE number 1064109 (Why is no real title available?)
| 1997-11-20 | Paper |
The hierarchy theorem for generalized quantifiers
Journal of Symbolic Logic | 1997-06-15 | Paper |
Reflection of Long Game Formulas
Mathematical Logic Quarterly | 1997-06-15 | Paper |
Generalized quantifiers and pebble games on finite structures
Annals of Pure and Applied Logic | 1995-07-03 | Paper |
On the number of automorphisms of uncountable models
Journal of Symbolic Logic | 1995-01-29 | Paper |
Trees and -subsets of ω1ω1
Journal of Symbolic Logic | 1994-09-01 | Paper |
PARTIALLY ORDERED CONNECTIVES
Mathematical Logic Quarterly | 1994-06-08 | Paper |
The Ehrenfeucht-Fraisse-Game of Length ω 1
Transactions of the American Mathematical Society | 1994-01-06 | Paper |
The Härtig quantifier: a survey
Journal of Symbolic Logic | 1992-06-27 | Paper |
A Cantor-Bendixson theorem for the space ${ω_1}^{ω_1}$
Fundamenta Mathematicae | 1991-01-01 | Paper |
On Scott and Karp trees of uncountable models
Journal of Symbolic Logic | 1990-01-01 | Paper |
Henkin and function quantifiers
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4053589 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4018969 (Why is no real title available?)
| 1987-01-01 | Paper |
Vector spaces and binary quantifiers
Notre Dame Journal of Formal Logic | 1984-01-01 | Paper |
Δ-extension and Hanf-numbers
Fundamenta Mathematicae | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3809549 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3803416 (Why is no real title available?)
| 1982-01-01 | Paper |
Abstract logic and set theory. II. Large cardinals
Journal of Symbolic Logic | 1982-01-01 | Paper |
On orderings of the family of all logics
Archiv für Mathematische Logik und Grundlagenforschung | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3758311 (Why is no real title available?)
| 1981-01-01 | Paper |
Decidability of Some Logics with Free Quantifier Variables
Mathematical Logic Quarterly | 1981-01-01 | Paper |
The Hanf Number of L ω 1 ω 1
Proceedings of the American Mathematical Society | 1980-01-01 | Paper |
On the Axiomatizability of the Notion of an Automorphism of a Finite Order
Mathematical Logic Quarterly | 1980-01-01 | Paper |
A Quantifier for Isomorphisms
Mathematical Logic Quarterly | 1980-01-01 | Paper |
Boolean valued models and generalized quantifiers
Annals of Mathematical Logic | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3677816 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3618114 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3623538 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3674065 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3608015 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3593524 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3421556 (Why is no real title available?)
| 1973-01-01 | Paper |
Inner Models from Extended Logics: Part 2
| N/A | Paper |
Team Semantics and Independence Notions in Quantum Physics
| N/A | Paper |
Cartagena Logic
| N/A | Paper |
On Some Infinitary Logics
| N/A | Paper |
On the categoricity of complete second order theories
| N/A | Paper |
