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
3602008
Dynamic belief revision over multi-agent plausibility models
A Baltag, S Smets
Proceedings of LOFT 6, 11-24, 2006
1382006
Conditional doxastic models: A qualitative approach to dynamic belief revision
A Baltag, S Smets
Electronic notes in theoretical computer science 165, 5-21, 2006
1252006
LQP: the dynamic logic of quantum information
A Baltag, S Smets
Mathematical structures in computer science 16 (3), 491-525, 2006
982006
Complete axiomatizations for quantum actions
A Baltag, S Smets
International Journal of Theoretical Physics 44 (12), 2267-2282, 2005
982005
Keep ‘hoping’for rationality: a solution to the backward induction paradox
A Baltag, S Smets, JA Zvesper
Synthese 169 (2), 301-333, 2009
902009
Probabilistic dynamic belief revision
A Baltag, S Smets
Synthese 165 (2), 179-202, 2008
682008
The logic of conditional doxastic actions
A Baltag, S Smets
Texts in Logic and Games, Special Issue on New Perspectives on Games and …, 2008
622008
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
592009
Dynamic logics of belief change
J van Benthem, S Smets
572015
Quantum logic as a dynamic logic
A Baltag, S Smets
Synthese 179 (2), 285-306, 2011
562011
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
542014
The Logic of Quantum Programs.
A Baltag, S Smets
522004
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
492019
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
482011
Logical models of informational cascades
A Baltag, Z Christoff, JU Hansen, S Smets
Studies in Logic 47, 405-432, 2013
452013
A quantum structure description of the liar paradox
D Aerts, J Broekaert, S Smets
International Journal of Theoretical Physics 38 (12), 3231-3239, 1999
451999
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
442016
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
412012
A dynamic-logical perspective on quantum behavior
A Baltag, S Smets
Studia Logica 89 (2), 187-211, 2008
352008
The system can't perform the operation now. Try again later.
Articles 1–20