ILLC Publications, All Series, 2025

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
X-2025-01:
Arend Heyting La Conception Intuitionniste de la Logique
X-2025-02:
Paul Dekker Conceptually Grounded Quantification