Number of items: **50**.

MoL-2022-19:
Almeida, Rodrigo Nicolau
(2022)
*Polyatomic Logics and Generalised Blok-Esakia Theory with Applications to Orthologic and KTB.*
[Report]

PP-2022-05:
Aloni, Maria and van Ormondt, Peter
(2022)
*Modified numerals and split disjunction: the first-order case.*
[Pre-print]
(Submitted)

MoL-2022-11:
Arteche Echeverría, Noel
(2022)
*Parameterized Compilability.*
[Report]

PP-2022-06:
Baltag, Alexandru and Bezhanishvili, Nick and Fernandez Duque, David
(2022)
*The Topology of Surprise.*
[Pre-print]

DS-2022-01:
Bellomo, Anna
(2022)
*Sums, Numbers and Infinity: Collections in Bolzano’s Mathematics and Philosophy.*
Doctoral thesis, University of Amsterdam.

PP-2022-07:
Bezhanishvili, Nick and Cleani, Antonio M.
(2022)
*Translational embeddings via stable canonical rules.*
[Pre-print]

PP-2022-04:
Bezhanishvili, Nick and Martins, Miguel and Moraschini, Tommaso
(2022)
*Bi-intermediate logics of trees and co-trees.*
[Pre-print]

DS-2022-04:
Brokkelkamp, Ruben
(2022)
*How Close Does It Get?
From Near-Optimal Network Algorithms to Suboptimal Equilibrium Outcomes.*
Doctoral thesis, ILLC.

DS-2022-05:
Bussière-Carae, Lwenn
(2022)
*No means No! Speech Acts in Conflict.*
Doctoral thesis, University of Amsterdam.

MoL-2022-02:
Carr, James
(2022)
*Hereditary Structural Completeness over K4: Rybakov’s Theorem Revisited.*
[Report]

MoL-2022-17:
Chernev, Anton
(2022)
*Degrees of FMP in extensions of bi-intuitionistic logic.*
[Report]

MoL-2022-10:
Cruchten, Mike
(2022)
*Topics in Ω-Automata: A Journey through Lassos, Algebra, Coalgebra and Expressions.*
[Report]

DS-2022-02:
Czajkowski, Jan
(2022)
*Post-Quantum Security of Hash Functions.*
Doctoral thesis, University of Amsterdam.

X-2022-06:
Dekker, Paul
(2022)
*Truth and Agreement.*
[Report]

MoL-2022-05:
Felderhoff, Lukas
(2022)
*Single-Peaked Electorates in Liquid Democracy.*
[Report]

MoL-2022-15:
Filipetto, Valentino
(2022)
*Constructing queries from data examples.*
[Report]

MoL-2022-22:
Grotenhuis, Lide
(2022)
*Natural Axiomatic Theories and Consistency Strength: A Lakatosian Approach to the Linearity Conjecture.*
[Report]

MoL-2022-04:
Janssens, Nicolien S.
(2022)
*Communicate and Vote: Collective Truth-tracking in Networks.*
[Report]

PP-2022-08:
Khomskii, Yurii and Oddsson, Hrafn Valtýr
(2022)
*Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory.*
[Pre-print]
(Submitted)

MoL-2022-14:
Klochowicz, Tomasz
(2022)
*Investigating semantic and selectional properties of clause-embedding predicates in Polish.*
[Report]

HDS-33:
Klop, Jan Willem
(2022)
*Combinatory Reduction Systems.*
Doctoral thesis, Rijksuniversiteit Utrecht.

MoL-2022-24:
Knudstorp, Søren Brinck
(2022)
*Modal Information Logics.*
[Report]

MoL-2022-07:
Koudijs, Raoul
(2022)
*Learning Modal Formulas via Dualities.*
[Report]

MoL-2022-06:
klein Goldewijk, Thomas
(2022)
*Fairness in Perpetual Participatory Budgeting.*
[Report]

MoL-2022-16:
Leijnse, Koen
(2022)
*On the Quantum Hardness of Matching Colored Triangles.*
[Report]

MoL-2022-01:
Loustalot Knapp, Daniela
(2022)
*Justification of Matching Outcomes.*
[Report]

MoL-2022-20:
McCloskey, Erin
(2022)
*Relative Weak Factorization Systems.*
[Report]

DS-2022-06:
Mojet, Emma
(2022)
*Observing Disciplines: Data Practices In and Between Disciplines in the 19th and Early 20th Centuries.*
Doctoral thesis, Universiteit van Amsterdam.

MoL-2022-21:
Osso, Gian Marco
(2022)
*Some results on the Generalized Weihrauch Hierarchy.*
[Report]

MoL-2022-27:
Otten, Daniël D.
(2022)
*De Jongh’s Theorem for Type Theory.*
[Report]

MoL-2022-18:
Oudshoorn, Anouk Michelle
(2022)
*Cost Fixed Point Logic.*
[Report]

MoL-2022-03:
Peng, Zichen
(2022)
*Simultaneous Substitution Algebras.*
[Pre-print]

DS-2022-03:
Ramotowska, Sonia
(2022)
*Quantifying quantifier representations: Experimental studies, computational modeling, and individual differences.*
Doctoral thesis, University of Amsterdam.

MoL-2022-12:
Romanovskiy, Vasily
(2022)
*"A-ha, I hadn’t thought of that": the Bayesian Problem of Awareness Growth.*
[Report]

MoL-2022-26:
Samwel, Rover Junior
(2022)
*Explorations in Coalgebraic Predicate Logic (With a Focus on Interpolation).*
[Report]

MoL-2022-08:
Schmidtlein, Marie Christin
(2022)
*Voting by Axioms.*
[Report]

MoL-2022-13:
Soeteman, Arie W.
(2022)
*Artificial Understanding.*
[Report]

X-2022-01:
ten Cate, Balder
(2022)
*Lyndon Interpolation for Modal Logic via Type Elimination Sequences.*
[Report]

MoL-2022-25:
Vrijbergen, Pepijn
(2022)
*Validity, Logic, and Models.*
[Report]

PP-2022-03:
van Benthem, Johan and Bezhanishvili, Nick
(2022)
*Modal structures in groups and vector spaces.*
[Pre-print]

PP-2022-02:
van Benthem, Johan and Li, Lei and Shi, Chenwei and Yin, Haoxuan
(2022)
*Hybrid sabotage Modal Logic.*
[Pre-print]
(In Press)

MoL-2022-09:
van Harskamp, Jasmijn
(2022)
*The National Contests Behind International Success: A Musical Comparison of the Eurovision Song Contest, the Festival di Sanremo and the Melodifestivalen.*
[Report]

X-2022-05:
van Ulsen, Paul
(2022)
*Bibliografie E.W. Beth.*
[Report]

X-2022-02:
van Ulsen, Paul
(2022)
*Onderwijs en onderzoek in logica en wetenschapsfilosofie.*
[Report]

X-2022-04:
van Ulsen, Paul
(2022)
*Organisaties en genootschappen.*
[Report]

X-2022-03:
van Ulsen, Paul
(2022)
*Wetenschapsfilosofie.*
[Report]

MoL-2022-29:
Weststeijn, Nikki
(2022)
*The Relation Between Shannon Information and Semantic Information.*
[Report]

DS-2022-07:
Witteveen, Freek Gerrit
(2022)
*Quantum information theory and many-body physics.*
Doctoral thesis, Universiteit van Amsterdam.

MoL-2022-23:
Zhang, Tianwei
(2022)
*Bisimulations over Parity Formulas.*
[Report]

PP-2022-01:
Özgün, Aybüke and Schoonen, Tom
(2022)
*The Logical Development of Pretense Imagination.*
[Pre-print]