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
- 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