default search action
Sonja Smets
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c31]Alexandru Baltag, Sonja Smets:
Logics for Data Exchange and Communication. AiML 2024: 147-170 - 2022
- [j23]Katrin Schulz, Sonja Smets
, Fernando R. Velázquez-Quesada, Kaibo Xie
Non-strict Interventionism: The Case Of Right-Nested Counterfactuals. J. Log. Lang. Inf. 31(2): 235-260 (2022) - [j22]Giuseppe Primiero, Marija Slavkovik, Sonja Smets
Netreason: Reasoning about social networks. J. Log. Comput. 32(6): 1015-1016 (2022) - 2021
- [j21]Mina Young Pedersen, Sonja Smets
Modal Logics and Group Polarization. J. Log. Comput. 31(8): 2240-2269 (2021) - [c30]Mina Young Pedersen, Marija Slavkovik, Sonja Smets
Social Bot Detection as a Temporal Logic Model Checking Problem. LORI 2021: 158-173 - [i5]Alexandru Baltag, Sonja Smets:
The Logic of Quantum Programs. CoRR abs/2109.06792 (2021) - [i4]Alexandru Baltag, Sonja Smets:
Learning What Others Know. CoRR abs/2109.07255 (2021) - [i3]Alexandru Baltag, Sonja Smets:
LQP: The Dynamic Logic of Quantum Information. CoRR abs/2110.01361 (2021) - 2020
- [j20]Sonja Smets
A Closeness- and Priority-Based Logical Study of Social Network Creation. J. Log. Lang. Inf. 29(1): 21-51 (2020) - [c29]Mina Young Pedersen, Sonja Smets
Further Steps Towards a Logic of Polarization in Social Networks. CLAR 2020: 324-345 - [c28]Fausto Barbero, Katrin Schulz, Sonja Smets
Thinking About Causation: A Causal Language with Epistemic Operators. DaLí 2020: 17-32 - [c27]Alexandru Baltag, Sonja Smets
Learning What Others Know. LPAR 2020: 90-119 - [i2]Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie:
Thinking About Causation: A Causal Language with Epistemic Operators. CoRR abs/2010.16217 (2020)
2010 – 2019
- 2019
- [j19]Alexandru Baltag, Nina Gierasimczuk
A dynamic logic for learning theory. J. Log. Algebraic Methods Program. 109 (2019) - [j18]Sonja Smets
A logical study of group-size based social network creation. J. Log. Algebraic Methods Program. 106: 117-140 (2019) - [j17]Alexandru Baltag, Nick Bezhanishvili
A Topological Approach to Full Belief. J. Philos. Log. 48(2): 205-244 (2019) - [j16]Alexandru Baltag, Zoé Christoff
Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks. Stud Logica 107(3): 489-531 (2019) - [j15]Alexandru Baltag, Nina Gierasimczuk
Truth-Tracking by Belief Revision. Stud Logica 107(5): 917-947 (2019) - [c26]Mina Young Pedersen, Sonja Smets
Analyzing Echo Chambers: A Logic of Strong and Weak Ties. LORI 2019: 183-198 - [c25]Carlo Proietti, Davide Grossi
Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes. LORI 2019: 214-229 - [c24]Katrin Schulz, Sonja Smets
A Logical and Empirical Study of Right-Nested Counterfactuals. LORI 2019: 259-272 - [c23]Sonja Smets
A Logical Analysis of the Interplay Between Social Influence and Friendship Selection. DaLí 2019: 71-87 - [c22]Alexandru Baltag, Soroush Rafiee Rad, Sonja Smets
Learning Probabilities: Towards a Logic of Statistical Learning. TARK 2019: 35-49 - 2018
- [j14]Chenwei Shi
Beliefs supported by binary arguments. J. Appl. Non Class. Logics 28(2-3): 165-188 (2018) - [c21]Chenwei Shi
Beliefs Based on Evidence and Argumentation. WoLLIC 2018: 289-306 - [c20]Sonja Smets
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents. WoLLIC 2018: 307-324 - 2017
- [j13]Maria Luisa Dalla Chiara, Roberto Giuntini, Eleonora Negri, Giuseppe Sergioli, Sonja Smets:
Preface. Soft Comput. 21(6): 1371-1372 (2017) - [j12]Alexandru Baltag, Sonja Smets
Modeling correlated information change: from conditional beliefs to quantum conditionals. Soft Comput. 21(6): 1523-1535 (2017) - [c19]Sonja Smets
How to Make Friends: A Logical Approach to Social Group Creation. LORI 2017: 377-390 - [c18]Alexandru Baltag, Nina Gierasimczuk
A Dynamic Logic for Learning Theory. DALI@TABLEAUX 2017: 35-54 - [c17]Sonja Smets
The Creation and Change of Social Networks: A Logical Study Based on Group Size. DALI@TABLEAUX 2017: 171-184 - [c16]Chenwei Shi
Argument-based Belief in Topological Structures. TARK 2017: 489-503 - 2016
- [c15]Alexandru Baltag, Virginie Fiutek, Sonja Smets:
Beliefs and Evidence in Justification Models. Advances in Modal Logic 2016: 156-176 - [c14]Chenwei Shi, Sonja Smets:
Beliefs supported by Arguments. CLAR 2016: 6-11 - [c13]Alexandru Baltag, Nick Bezhanishvili
Justified Belief and the Topology of Evidence. WoLLIC 2016: 83-103 - 2015
- [j11]Alexandru Baltag, Sonja Smets
Logics of Informational Interactions. J. Philos. Log. 44(6): 595-607 (2015) - [c12]Alexandru Baltag, Nick Bezhanishvili
The Topology of Full and Weak Belief. TbiLLC 2015: 205-228 - [c11]Alexandru Baltag, Nina Gierasimczuk
On the Solvability of Inductive Problems: A Study in Epistemic Topology. TARK 2015: 81-98 - [i1]Alexandru Baltag, Bryan Renne, Sonja Smets:
Revisable Justified Belief: Preliminary Report. CoRR abs/1503.08141 (2015) - 2014
- [j10]Alexandru Baltag, Bryan Renne, Sonja Smets
The logic of justified belief, explicit knowledge, and conclusive evidence. Ann. Pure Appl. Log. 165(1): 49-81 (2014) - [e1]Alexandru Baltag, Sonja Smets
Johan van Benthem on Logic and Information Dynamics. Springer 2014, ISBN 978-3-319-06024-8 [contents] - 2013
- [j9]Alexandru Baltag, Sonja Smets
Protocols for belief merge: Reaching agreement via communication. Log. J. IGPL 21(3): 468-487 (2013) - [c10]Alexandru Baltag, Nick Bezhanishvili
The Topology of Belief, Belief Revision and Defeasible Knowledge. LORI 2013: 27-40 - [c9]Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack
Quantum Probabilistic Dyadic Second-Order Logic. WoLLIC 2013: 64-80 - 2012
- [j8]Johan van Benthem, Sonja Smets
New logical perspectives on physics. Synth. 186(3): 615-617 (2012) - [j7]Alexandru Baltag, Sonja Smets
The dynamic turn in quantum logic. Synth. 186(3): 753-773 (2012) - [c8]Alexandru Baltag, Bryan Renne, Sonja Smets
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. WoLLIC 2012: 168-190 - 2011
- [j6]Alexandru Baltag, Sonja Smets
Quantum logic as a dynamic logic. Synth. 179(2): 285-306 (2011) - [c7]Alexandru Baltag, Nina Gierasimczuk
Belief revision as a truth-tracking process. TARK 2011: 187-190 - 2010
- [j5]Diederik Aerts
The Contributions of Logic to the Foundations of Physics: Foreword. Stud Logica 95(1-2): 1-3 (2010)
2000 – 2009
- 2009
- [j4]Alexandru Baltag, Sonja Smets
Keep 'hoping' for rationality: a solution to the backward induction paradox. Synth. 169(2): 301-333 (2009) - [c6]Alexandru Baltag, Sonja Smets:
Talking Your Way into Agreement: Belief Merge by Persuasive Communication. MALLOW 2009 - [c5]Alexandru Baltag, Sonja Smets
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. TARK 2009: 41-50 - [c4]Alexandru Baltag, Sonja Smets
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. WoLLIC 2009: 124-139 - [c3]Alexandru Baltag, Sonja Smets
Correlated Information: A Logic for Multi-Partite Quantum Systems. QPL@MFPS 2009: 3-14 - 2008
- [j3]Alexandru Baltag, Sonja Smets
A Dynamic-Logical Perspective on Quantum Behavior. Stud Logica 89(2): 187-211 (2008) - [j2]Alexandru Baltag, Sonja Smets
Probabilistic dynamic belief revision. Synth. 165(2): 179-202 (2008) - 2007
- [c2]Alexandru Baltag, Sonja Smets:
From conditional probability to the logic of doxastic actions. TARK 2007: 52-61 - 2006
- [j1]Alexandru Baltag, Sonja Smets
LQP: the dynamic logic of quantum information. Math. Struct. Comput. Sci. 16(3): 491-525 (2006) - [c1]Alexandru Baltag, Sonja Smets
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. WoLLIC 2006: 5-21 - 2004
- [p1]Bob Coecke, David J. Moore, Sonja Smets:
Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples. Logic, Epistemology, and the Unity of Science 2004: 527-555
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: