Follow
Sonja Smets
Title
Cited by
Cited by
Year
A qualitative theory of dynamic interactive belief revision
A Baltag, S Smets
Logic and the foundations of game and decision theory (LOFT 7) 3, 9-58, 2008
3932008
Dynamic belief revision over multi-agent plausibility models
A Baltag, S Smets
Proceedings of LOFT 6, 11-24, 2006
1452006
Conditional doxastic models: A qualitative approach to dynamic belief revision
A Baltag, S Smets
Electronic notes in theoretical computer science 165, 5-21, 2006
1342006
LQP: the dynamic logic of quantum information
A Baltag, S Smets
Mathematical structures in computer science 16 (3), 491-525, 2006
1152006
Complete axiomatizations for quantum actions
A Baltag, S Smets
International Journal of Theoretical Physics 44 (12), 2267-2282, 2005
1072005
Keep ‘hoping’for rationality: a solution to the backward induction paradox
A Baltag, S Smets, JA Zvesper
Synthese 169 (2), 301-333, 2009
1012009
Probabilistic dynamic belief revision
A Baltag, S Smets
Synthese 165 (2), 179-202, 2008
812008
Quantum logic as a dynamic logic
A Baltag, S Smets
Synthese 179 (2), 285-306, 2011
732011
The logic of justified belief, explicit knowledge, and conclusive evidence
A Baltag, B Renne, S Smets
Annals of Pure and Applied Logic 165 (1), 49-81, 2014
712014
Dynamic epistemic logics of diffusion and prediction in social networks
A Baltag, Z Christoff, RK Rendsvig, S Smets
Studia Logica 107 (3), 489-531, 2019
682019
The logic of conditional doxastic actions
A Baltag, S Smets
Texts in Logic and Games, Special Issue on New Perspectives on Games and …, 2008
682008
Dynamic logics of belief change
J van Benthem, S Smets
662015
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades
A Baltag, S Smets
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009
662009
Justified belief and the topology of evidence
A Baltag, N Bezhanishvili, A Özgün, S Smets
International Workshop on Logic, Language, Information, and Computation, 83-103, 2016
612016
The Logic of Quantum Programs.
A Baltag, S Smets
582004
Logical models of informational cascades
A Baltag, Z Christoff, JU Hansen, S Smets
Studies in Logic 47, 405-432, 2013
532013
Belief revision as a truth-tracking process
A Baltag, N Gierasimczuk, S Smets
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and …, 2011
532011
The logic of justified belief change, soft evidence and defeasible knowledge
A Baltag, B Renne, S Smets
International Workshop on Logic, Language, Information, and Computation, 168-190, 2012
522012
A quantum structure description of the liar paradox
D Aerts, J Broekaert, S Smets
International Journal of Theoretical Physics 38 (12), 3231-3239, 1999
431999
A dynamic-logical perspective on quantum behavior
A Baltag, S Smets
Studia Logica 89 (2), 187-211, 2008
422008
The system can't perform the operation now. Try again later.
Articles 1–20