Sonja Smets

66 papers B 10C 7Journal 30Unranked 17
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
Alexandru Baltag, Sonja Smets
2025 conf
LORI
Aybüke Özgün, Sonja Smets, Teodor-Stefan Zotescu
2025 B conf
TARK
Alexandru Baltag, Sonja Smets
2025 conf
LORI
Alexandru Baltag, Sonja Smets
2025 J jnl
Minds Mach.
Christopher Starke, Tobias Blanke, Natali Helberger, Sonja Smets, Claes de Vreese
2024 B conf
AiML
Alexandru Baltag, Sonja Smets
2022 J jnl
J. Log. Comput.
Giuseppe Primiero, Marija Slavkovik, Sonja Smets
2022 J jnl
J. Log. Lang. Inf.
Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie
2021 J jnl
CoRR
Alexandru Baltag, Sonja Smets
2021 J jnl
CoRR
Alexandru Baltag, Sonja Smets
2021 J jnl
J. Log. Comput.
Mina Young Pedersen, Sonja Smets, Thomas Ågotnes
2021 conf
LORI
Mina Young Pedersen, Marija Slavkovik, Sonja Smets
2021 J jnl
CoRR
Alexandru Baltag, Sonja Smets
2020 J jnl
J. Log. Lang. Inf.
Sonja Smets, Fernando R. Velázquez-Quesada
2020 conf
CLAR
Mina Young Pedersen, Sonja Smets, Thomas Ågotnes
2020 B conf
LPAR
Alexandru Baltag, Sonja Smets
2020 conf
DaLí
Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie
2020 J jnl
CoRR
Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie
2019 conf
DaLí
Sonja Smets, Fernando R. Velázquez-Quesada
2019 conf
LORI
Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie
2019 J jnl
J. Philos. Log.
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2019 J jnl
J. Log. Algebraic Methods Program.
Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets
2019 J jnl
J. Log. Algebraic Methods Program.
Sonja Smets, Fernando R. Velázquez-Quesada
2019 conf
LORI
Mina Young Pedersen, Sonja Smets, Thomas Ågotnes
2019 conf
LORI
Carlo Proietti, Davide Grossi, Sonja Smets, Fernando R. Velázquez-Quesada
2019 J jnl
Stud Logica
Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig, Sonja Smets
2019 B conf
TARK
Alexandru Baltag, Soroush Rafiee Rad, Sonja Smets
2019 J jnl
Stud Logica
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
2018 C conf
WoLLIC
Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada
2018 J jnl
J. Appl. Non Class. Logics
Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada
2018 C conf
WoLLIC
Sonja Smets, Anthia Solaki
2017 conf
DALI@TABLEAUX
Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets
2017 B conf
TARK
Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada
2017 conf
LORI
Sonja Smets, Fernando R. Velázquez-Quesada
2017 J jnl
Soft Comput.
Alexandru Baltag, Sonja Smets
2017 J jnl
Soft Comput.
Maria Luisa Dalla Chiara, Roberto Giuntini, Eleonora Negri, Giuseppe Sergioli, Sonja Smets
2017 conf
DALI@TABLEAUX
Sonja Smets, Fernando R. Velázquez-Quesada
2016 B conf
Advances in Modal Logic
Alexandru Baltag, Virginie Fiutek, Sonja Smets
2016 conf
CLAR
Chenwei Shi, Sonja Smets
2016 C conf
WoLLIC
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2015 J jnl
J. Philos. Log.
Alexandru Baltag, Sonja Smets
2015 B conf
TARK
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
2015 J jnl
CoRR
Alexandru Baltag, Bryan Renne, Sonja Smets
2015 conf
TbiLLC
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2014 book
Alexandru Baltag, Sonja Smets
2014 J jnl
Ann. Pure Appl. Log.
Alexandru Baltag, Bryan Renne, Sonja Smets
2013 J jnl
Log. J. IGPL
Alexandru Baltag, Sonja Smets
2013 C conf
WoLLIC
Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong
2013 conf
LORI
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2012 J jnl
Synth.
Johan van Benthem, Sonja Smets
2012 C conf
WoLLIC
Alexandru Baltag, Bryan Renne, Sonja Smets
2012 J jnl
Synth.
Alexandru Baltag, Sonja Smets
2011 B conf
TARK
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
2011 J jnl
Synth.
Alexandru Baltag, Sonja Smets
2010 J jnl
Stud Logica
Diederik Aerts, Sonja Smets, Jean Paul Van Bendegem
2009 conf
QPL@MFPS
Alexandru Baltag, Sonja Smets
2009 B conf
TARK
Alexandru Baltag, Sonja Smets
2009 J jnl
Synth.
Alexandru Baltag, Sonja Smets, Jonathan A. Zvesper
2009 C conf
WoLLIC
Alexandru Baltag, Sonja Smets
2009 conf
MALLOW
Alexandru Baltag, Sonja Smets
2008 J jnl
Stud Logica
Alexandru Baltag, Sonja Smets
2008 J jnl
Synth.
Alexandru Baltag, Sonja Smets
2007 B conf
TARK
Alexandru Baltag, Sonja Smets
2006 C conf
WoLLIC
Alexandru Baltag, Sonja Smets
2006 J jnl
Math. Struct. Comput. Sci.
Alexandru Baltag, Sonja Smets
2004 ch.
Logic, Epistemology, and the Unity of Science
Bob Coecke, David J. Moore, Sonja Smets