View publication by year:
- MoL-2025-01:
- Djanira dos Santos Gomes Virtual Group Knowledge on Topological Evidence Models
- MoL-2025-02:
- Jonas van der Schaaf AKE-principles for deeply ramified fields
- MoL-2025-03:
- Paulius Skaisgiris Inductive Learning of Temporal Advice Formulae for Guiding Planners
- MoL-2025-04:
- Arnar Ágúst Kristjánsson Expressive Power of Homomorphism Query Algorithms
- MoL-2025-05:
- Lorenz Hornung Reasoning About Legal Concepts with Propositional Dependence Logic
- MoL-2025-06:
- Ruiting Jiang Truth and Dependence
- MoL-2025-07:
- Minzhe Li Theoretical Equivalence as Representational Equivalence
- MoL-2025-08:
- Fatima Scha The paradoxicality of Curry
- MoL-2025-09:
- Eshel S. Yaron Lean Binary Decision Diagrams
- MoL-2025-10:
- Fangjing Xiong The Strength of Compositional Truth
- MoL-2025-11:
- Joel Artturi Saarinen Limits of Solomonoff Induction
- MoL-2025-12:
- Stefano Volpe Higher Inductive Types Via Impredicative Encodings
- MoL-2025-13:
- Laura Hernández The Epistemology of Privacy
- MoL-2025-14:
- Zhirui Chen ROBIN, A TYPE OF CAT: Investigating Hypernymy in Unimodal and Multimodal Models with Contrastive Learning
- MoL-2025-15:
- Yunchong Huang “Who won the last elections?” Detecting Underspecified Queries in Question Answering with LLMs
- MoL-2025-16:
- Tenyo Takahashi Union-splittings, the Axiomatization Problem, and the Rule Dichotomy Property in Modal Logic
- MoL-2025-17:
- Kira G. B. Miller An Eye for an ’I’: Investigating the Relationship between Embodiment and Agency and the Possibilities for Artificial Intelligence Models
- MoL-2025-18:
- Clara Zoe Riedmiller Exploring the Computational Necessity of Dual Processes for Intelligence
- MoL-2025-19:
- Simeon du Toit Cornelius Van Til’s Presuppositional Epistemology as a New Model for Deep Disagreement: Relations to and Improvements on Quasi-Fideism
- MoL-2025-20:
- Shing Yau Simon Chiu Using Zippers for Nested Sequents with Focus
- MoL-2025-21:
- Dorielle Lonke A Linguistically Grounded Evaluation of Anthropomorphic Language Detection in AI Research
- MoL-2025-22:
- Timo Niek Franssen Tense Information Logic
- MoL-2025-23:
- Josef C L Doyle von Hoffmann HMS-Duality for Residuated Lattices
- MoL-2025-24:
- Yuan Ma Disjunctions in Mandarin Chinese
- MoL-2025-25:
- Kirti Singh Descriptive and Substantive Representation in Approval-Based Committee Voting
- MoL-2025-26:
- Tisja Irene Smits Numerical Judgment Aggregation: Towards a General Framework
- MoL-2025-27:
- Spyridon Dialiatsis Combinatorial Properties of the Raisonnier Filter
- MoL-2025-28:
- Otto de Jong Structured Justifications for Binary Aggregation
- MoL-2025-29:
- Joris A. Galema Explicit belief, Justification terms and Quasi-consistent evidence
- X-2025-01:
- Arend Heyting La Conception Intuitionniste de la Logique
- X-2025-02:
- Paul Dekker Conceptually Grounded Quantification
- X-2025-03:
- Ulle Endriss Simple Measures to Improve Accountability in Peer Review for Large AI Conferences
- X-2025-04:
- Paul Dekker Talk about things non-existent