Items where Year is 2022

A

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]

B

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.

C

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.

D

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

F

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]

G

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

J

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

K

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]

L

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]

M

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.

O

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]

P

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

R

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]

S

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]

T

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

V

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]

W

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.

Z

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]