Main Page Navigation
MoL-2022-01 :
Daniela Loustalot Knapp
Justification of Matching Outcomes
MoL-2022-02 :
James Carr
Hereditary Structural Completeness over K4: Rybakov’s Theorem Revisited
MoL-2022-03 :
Zichen Peng
Simultaneous Substitution Algebras
MoL-2022-04 :
Nicolien S. Janssens
Communicate and Vote: Collective Truth-tracking in Networks
MoL-2022-05 :
Lukas Felderhoff
Single-Peaked Electorates in Liquid Democracy
MoL-2022-06 :
Thomas klein Goldewijk
Fairness in Perpetual Participatory Budgeting
MoL-2022-07 :
Raoul Koudijs
Learning Modal Formulas via Dualities
MoL-2022-08 :
Marie Christin Schmidtlein
Voting by Axioms
MoL-2022-09 :
Jasmijn van Harskamp
The National Contests Behind International Success: A Musical Comparison of the Eurovision Song Contest, the Festival di Sanremo and the Melodifestivalen
MoL-2022-10 :
Mike Cruchten
Topics in Ω-Automata: A Journey through Lassos, Algebra, Coalgebra and Expressions
MoL-2022-11 :
Noel Arteche Echeverría
Parameterized Compilability
MoL-2022-12 :
Vasily Romanovskiy
"A-ha, I hadn’t thought of that": the Bayesian Problem of Awareness Growth
MoL-2022-13 :
Arie W. Soeteman
Artificial Understanding
MoL-2022-14 :
Tomasz Klochowicz
Investigating semantic and selectional properties of clause-embedding predicates in Polish
MoL-2022-15 :
Valentino Filipetto
Constructing queries from data examples
MoL-2022-16 :
Koen Leijnse
On the Quantum Hardness of Matching Colored Triangles
MoL-2022-17 :
Anton Chernev
Degrees of FMP in extensions of bi-intuitionistic logic
MoL-2022-18 :
Anouk Michelle Oudshoorn
Cost Fixed Point Logic
MoL-2022-19 :
Rodrigo Nicolau Almeida
Polyatomic Logics and Generalised Blok-Esakia Theory with Applications to Orthologic and KTB
MoL-2022-20 :
Erin McCloskey
Relative Weak Factorization Systems
MoL-2022-21 :
Gian Marco Osso
Some results on the Generalized Weihrauch Hierarchy
MoL-2022-22 :
Lide Grotenhuis
Natural Axiomatic Theories and Consistency Strength: A Lakatosian Approach to the Linearity Conjecture
MoL-2022-23 :
Tianwei Zhang
Bisimulations over Parity Formulas
MoL-2022-24 :
Søren Brinck Knudstorp
Modal Information Logics
MoL-2022-25 :
Pepijn Vrijbergen
Validity, Logic, and Models
MoL-2022-26 :
Rover Junior Samwel
Explorations in Coalgebraic Predicate Logic (With a Focus on Interpolation)
MoL-2022-27 :
Daniël D. Otten
De Jongh’s Theorem for Type Theory
PP-2022-01 :
Aybüke Özgün, Tom Schoonen
The Logical Development of Pretense Imagination
PP-2022-02 :
Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin
Hybrid sabotage Modal Logic
PP-2022-03 :
Johan van Benthem, Nick Bezhanishvili
Modal structures in groups and vector spaces
PP-2022-04 :
Nick Bezhanishvili, Miguel Martins, Tommaso Moraschini
Bi-intermediate logics of trees and co-trees
PP-2022-05 :
Maria Aloni, Peter van Ormondt
Modified numerals and split disjunction: the first-order case
PP-2022-06 :
Alexandru Baltag, Nick Bezhanishvili, David Fernandez Duque
The Topology of Surprise
PP-2022-07 :
Nick Bezhanishvili, Antonio M. Cleani
Translational embeddings via stable canonical rules
PP-2022-08 :
Yurii Khomskii, Hrafn Valtýr Oddsson
Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory
PP-2023-01 :
Nima Motamed, Arie Soeteman, Simon Rey, Ulle Endriss
Participatory Budgeting with Multiple Resources
X-2022-01 :
Balder ten Cate
Lyndon Interpolation for Modal Logic via Type Elimination Sequences
X-2022-02 :
Paul van Ulsen
Onderwijs en onderzoek in logica en wetenschapsfilosofie
X-2022-03 :
Paul van Ulsen
Wetenschapsfilosofie
X-2022-04 :
Paul van Ulsen
Organisaties en genootschappen
X-2022-05 :
Paul van Ulsen
Bibliografie E.W. Beth
