2026

• Gaia Belardinelli; Thomas Bolander; Paolo Galeazzi et al. (2026). Social logic: logic for modeling social phenomena. (ekstern lenke)

2025

• Carlos Areces; Raul Fervari; Andrés R. Saravia et al. (2025). The Dynamics of Knowing How. (ekstern lenke)
• John Elias Lindqvist; Fernando R. Velázquez-Quesada; Thomas Ågotnes (2025). Variations on distributed belief. (ekstern lenke)
• John Elias Lindqvist; Fernando R. Velázquez-Quesada; Thomas Ågotnes (2025). Towards Resolving Distributed Beliefs. (ekstern lenke)
• Anthia Solaki; Fernando Raymundo Velazquez Quesada (2025). A logical formalisation of false belief tasks. (ekstern lenke)

2023

• Fausto Barbero; Katrin Schulz; Fernando R. Velázquez-Quesada et al. (2023). Observing interventions: a logic for thinking about experiments. (ekstern lenke)
• Carlos Areces; Raul Fervari; Andrés R. Saravia et al. (2023). Uncertainty-based knowing how logic. (ekstern lenke)
• Rustam Galimullin; Fernando R. Velázquez-Quesada (2023). (Arbitrary) Partial Communication. (ekstern lenke)
• John Elias Lindqvist; Fernando R. Velázquez-Quesada; Thomas Ågotnes (2023). Cautious Distributed Belief. (ekstern lenke)
• Carlos Areces; Raul Fervari; Andrés R. Saravia et al. (2023). First Steps in Updating Knowing How. (ekstern lenke)

2024

• Nina Gierasimczuk; Fernando R. Velázquez-Quesada (2024). Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers. (ekstern lenke)
• Rustam Galimullin; Fernando R. Velázquez-Quesada (2024). Topic-Based Communication Between Agents. (ekstern lenke)

Se en fullstendig oversikt over publikasjoner i NVA.