| Publication | Date of Publication | Type |
|---|
| Dimension in team semantics | 2024-10-16 | Paper |
| Modular SAT-based techniques for reasoning tasks in team semantics | 2024-10-08 | Paper |
| The strategic balance of games in logic | 2024-10-01 | Paper |
| An atom’s worth of anonymity | 2024-02-20 | Paper |
| Model theory of second order logic | 2024-01-12 | Paper |
| When cardinals determine the power set: inner models and Härtig quantifier logic | 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 | 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 | 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 | 2022-03-01 | Paper |
| Diversity, dependence and independence | 2022-02-14 | Paper |
| Chain logic and Shelah's infinitary logic | 2022-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013879 | 2021-12-03 | Paper |
| Inner models from extended logics: Part 1 | 2021-10-18 | Paper |
| Logicality and Model Classes | 2021-06-25 | Paper |
| Diversity, dependence and independence | 2020-10-26 | Paper |
| Positive logics | 2020-08-03 | Paper |
| Bounded Symbiosis and Upwards Reflection | 2020-07-29 | Paper |
| The Logic of Approximate Dependence | 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 | 2020-02-04 | Paper |
| The Size of a Formula as a Measure of Complexity | 2020-02-03 | Paper |
| Pursuing Logic without Borders | 2020-02-03 | Paper |
| Diversity, Dependence and Independence | 2019-12-06 | Paper |
| A logical approach to context-specific independence | 2019-09-18 | Paper |
| A logical approach to context-specific independence | 2019-09-01 | Paper |
| Chain Logic and Shelah's Infinitary Logic | 2019-08-03 | Paper |
| AN EXTENSION OF A THEOREM OF ZERMELO | 2019-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5223106 | 2019-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4689310 | 2018-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4599513 | 2018-01-03 | Paper |
| A logic for arguing about probabilities in measure teams | 2017-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5272998 | 2017-07-05 | Paper |
| Dependence logic with generalized quantifiers: axiomatizations | 2017-06-30 | Paper |
| JAAKKO HINTIKKA 1929–2015 | 2017-05-26 | Paper |
| Propositional team logics | 2017-05-15 | Paper |
| A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals | 2017-05-10 | Paper |
| A Logical Approach to Context-Specific Independence | 2016-09-09 | Paper |
| ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS | 2016-08-19 | Paper |
| DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES | 2016-05-09 | Paper |
| Propositional logics of dependence | 2016-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464651 | 2016-01-27 | Paper |
| QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES | 2015-12-30 | Paper |
| Regular ultrapowers at regular cardinals | 2015-09-29 | Paper |
| EMS Paper on Open Access | 2015-07-06 | Paper |
| Second Order Logic, Set Theory and Foundations of Mathematics | 2015-06-05 | Paper |
| Internal categoricity in arithmetic and set theory | 2015-05-22 | Paper |
| Boolean-valued second-order logic | 2015-05-22 | Paper |
| POSITIONAL STRATEGIES IN LONG EHRENFEUCHT–FRAÏSSÉ GAMES | 2015-05-20 | Paper |
| On Dependence Logic | 2015-05-11 | Paper |
| SORT LOGIC AND FOUNDATIONS OF MATHEMATICS | 2015-03-16 | Paper |
| On second-order characterizability | 2015-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416159 | 2014-05-19 | Paper |
| Axiomatizing first-order consequences in dependence logic | 2013-12-19 | Paper |
| An Ehrenfeucht-Fraïssé game for Lω1ω | 2013-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851817 | 2013-10-04 | Paper |
| Dependence Logic with Generalized Quantifiers: Axiomatizations | 2013-09-17 | Paper |
| Independence in Database Relations | 2013-09-17 | Paper |
| Dependence and independence | 2013-06-13 | Paper |
| Breaking the Atom with Samson | 2013-05-28 | Paper |
| Second Order Logic or Set Theory? | 2012-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118408 | 2012-03-02 | Paper |
| CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES | 2011-10-24 | Paper |
| ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC | 2011-10-24 | Paper |
| Dependence of variables construed as an atomic formula | 2011-08-26 | Paper |
| Erratum to: ``On definability in dependence logic | 2011-04-05 | Paper |
| A remark on negation in dependence logic | 2011-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3078324 | 2011-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3574474 | 2010-07-09 | Paper |
| On definability in dependence logic | 2009-10-21 | Paper |
| Lindstrom theorems for fragments of first-order logic | 2009-08-20 | Paper |
| From IF to BI. A tale of dependence and separation | 2009-08-11 | Paper |
| The Craig interpolation theorem in abstract model theory | 2009-06-16 | Paper |
| Regular ultrafilters and finite square principles | 2009-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3520836 | 2008-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509083 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5439453 | 2008-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3446107 | 2007-06-14 | Paper |
| Recursive logic frames | 2006-05-16 | Paper |
| On ordinals accessible by infinitary languages | 2005-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692775 | 2005-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5693583 | 2005-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311054 | 2005-08-22 | Paper |
| Finite information logic | 2005-06-01 | Paper |
| Barwise: Abstract Model Theory and Generalized Quantifiers | 2005-05-24 | Paper |
| A note on extensions of infinitary logic | 2005-02-22 | Paper |
| Games played on partial isomorphisms | 2004-09-22 | Paper |
| On the expressive power of monotone natural language quantifiers over finite models | 2003-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4781761 | 2003-02-06 | Paper |
| More on the Ehrenfeucht–Fraisse game of length ω1 | 2003-01-28 | Paper |
| On the semantics of informational independence | 2002-09-18 | Paper |
| Second-Order Logic and Foundations of Mathematics | 2002-04-29 | Paper |
| Stationary sets and infinitary logic | 2001-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955349 | 2001-05-01 | Paper |
| Quantifiers and congruence closure | 2000-10-25 | Paper |
| Trees and Ehrenfeucht-Fraïssé games | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395557 | 1999-02-02 | Paper |
| Unary quantifiers on finite models | 1998-01-28 | Paper |
| Definability of polyadic lifts of generalized quantifiers | 1998-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4374667 | 1998-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4355676 | 1997-11-20 | Paper |
| The hierarchy theorem for generalized quantifiers | 1997-06-15 | Paper |
| Reflection of Long Game Formulas | 1997-06-15 | Paper |
| Generalized quantifiers and pebble games on finite structures | 1995-07-03 | Paper |
| On the number of automorphisms of uncountable models | 1995-01-29 | Paper |
| Trees and -subsets of ω1ω1 | 1994-09-01 | Paper |
| PARTIALLY ORDERED CONNECTIVES | 1994-06-08 | Paper |
| The Ehrenfeucht-Fraisse-Game of Length ω 1 | 1994-01-06 | Paper |
| The Härtig quantifier: a survey | 1992-06-27 | Paper |
| A Cantor-Bendixson theorem for the space ${ω_1}^{ω_1}$ | 1991-01-01 | Paper |
| On Scott and Karp trees of uncountable models | 1990-01-01 | Paper |
| Henkin and function quantifiers | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030750 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789541 | 1987-01-01 | Paper |
| Vector spaces and binary quantifiers | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657988 | 1983-01-01 | Paper |
| Δ-extension and Hanf-numbers | 1983-01-01 | Paper |
| Abstract logic and set theory. II. Large cardinals | 1982-01-01 | Paper |
| On orderings of the family of all logics | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4748132 | 1982-01-01 | Paper |
| Decidability of Some Logics with Free Quantifier Variables | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3941392 | 1981-01-01 | Paper |
| A Quantifier for Isomorphisms | 1980-01-01 | Paper |
| The Hanf Number of L ω 1 ω 1 | 1980-01-01 | Paper |
| On the Axiomatizability of the Notion of an Automorphism of a Finite Order | 1980-01-01 | Paper |
| Boolean valued models and generalized quantifiers | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3870878 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3874187 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182720 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4186302 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4173353 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4161292 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5683928 | 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 |
