19 found
Sort by:
Disambiguations:
Alexandru Baltag [16]A. Baltag [3]
  1. Alexandru Baltag & Sonja Smets, A Semantic-Modal View on Ramsey's Test.
    We present a semantic analysis of the Ramsey test, pointing out its deep underlying flaw: the tension between the “static” nature of AGM revision (which was originally tailored for revision of only purely ontic beliefs, and can be applied to higher-order beliefs only if given a “backwards-looking” interpretation) and the fact that, semantically speaking, any Ramsey conditional must be a modal operator (more precisely, a dynamic-epistemic one). Thus, a belief about a Ramsey conditional is in fact a higher-order belief, hence (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Alexandru Baltag & Sonja Smets (eds.) (forthcoming). Trends in Logic, Outstanding Contributions: Johan F. A. K. Van Benthem on Logical and Informational Dynamics. Springer.
    No categories
     
    My bibliography  
     
    Export citation  
  3. Alexandru Baltag, Bryan Renne & Sonja Smets (2014). The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence. Annals of Pure and Applied Logic 165 (1):49-81.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Alexandru Baltag & Sonja Smets (2012). The Dynamic Turn in Quantum Logic. Synthese 186 (3):753 - 773.
    In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the "dynamic turn" in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the logical foundations of Quantum Physics, and in particular the area known as Operational Quantum Logic, as developed by Jauch and Piron (Helve Phys Acta 42: 842-848, 1969), Pirón (Foundations of Quantum Physics, (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Alexandru Baltag & Sonja Smets (2011). Keep Changing Your Beliefs, Aiming for the Truth. Erkenntnis 75 (2):255-270.
    We investigate the process of truth-seeking by iterated belief revision with higher-level doxastic information . We elaborate further on the main results in Baltag and Smets (Proceedings of TARK, 2009a , Proceedings of WOLLIC’09 LNAI 5514, 2009b ), applying them to the issue of convergence to truth . We study the conditions under which the belief revision induced by a series of truthful iterated upgrades eventually stabilizes on true beliefs. We give two different conditions ensuring that beliefs converge to “full” (...)
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  6. Alexandru Baltag & Sonja Smets (2011). Quantum Logic as a Dynamic Logic. Synthese 179 (2):285 - 306.
    We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear "no". Philosophically, our argument is based on combining a formal semantic approach, in the spirit of E. W. Beth's proposal of applying Tarski's semantical methods to the analysis of physical theories, with (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Alexandru Baltag, Sonja Smets & Jonathan Alexander Zvesper (2009). Keep 'Hoping' for Rationality: A Solution to the Backward Induction Paradox. Synthese 169 (2):301 - 333.
    We formalise a notion of dynamic rationality in terms of a logic of conditional beliefs on (doxastic) plausibility models. Similarly to other epistemic statements (e.g. negations of Moore sentences and of Muddy Children announcements), dynamic rationality changes its meaning after every act of learning, and it may become true after players learn it is false. Applying this to extensive games, we “simulate” the play of a game as a succession of dynamic updates of the original plausibility model: the epistemic situation (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima (2008). Knowable' as 'Known After an Announcement. Review of Symbolic Logic 1 (3):305-334.
    Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: after which , does it hold that Kφ? We give various semantic results and show completeness for a Hilbert-style axiomatization of this logic. There is a natural generalization to a logic for arbitrary events.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  9. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima (2008). Knowable' as 'Known After an Announcement. Review of Symbolic Logic 1 (3):305-334.
    Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: after which , does it hold that Kφ? We give various semantic results and show completeness for a Hilbert-style axiomatization of this logic. There is a natural generalization to a logic for arbitrary events.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. A. Baltag & S. Smets (2008). A Dynamic-Logical Perspective on Quantum Behavior. Studia Logica 89 (2):187 - 211.
    In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operators) as triggers for quantum information flow, and we compare them with other logical operators previously used to model various (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. A. Baltag, H. P. van Ditmarsch & L. S. Moss (2008). Epistemic Logic and Information Update. In P. Adriaans & J. van Benthem (eds.), hilosophy of Information. MIT Press.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  12. Alexandru Baltag (2008). Alexandru Baltag. In Duncan Pritchard & Vincent Hendricks (eds.), Epistemology: 5 Questions. London: Automatic Press/Vip. 21--37.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  13. Alexandru Baltag & Sonja Smets (2008). Probabilistic Dynamic Belief Revision. Synthese 165 (2):179 - 202.
    We investigate the discrete (finite) case of the Popper–Renyi theory of conditional probability, introducing discrete conditional probabilistic models for knowledge and conditional belief, and comparing them with the more standard plausibility models. We also consider a related notion, that of safe belief, which is a weak (non-negatively introspective) type of “knowledge”. We develop a probabilistic version of this concept (“degree of safety”) and we analyze its role in games. We completely axiomatize the logic of conditional belief, knowledge and safe belief (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. A. Baltag, E. C. Banks, L. Boi, G. Bonanno, B. Brogaard, L. K. C. Cheung, D. Costantini, U. Garibaldi, V. Goranko & C. Hitchcock (2004). Armour-Garb, B., 491. Synthese 139 (515).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Alexandru Baltag & Lawrence S. Moss (2004). Logics for Epistemic Programs. Synthese 139 (2):165 - 224.
    We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs. This is as in dynamic logic, and indeed our languages are not significantly more complicated than dynamic logics. But the semantics is more complicated. In general, the semantics of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Alexandru Baltag & Lawrence S. Moss (2004). SYNTHESE/Volume139 No. 1 March I 2004. Synthese 139:513-514.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Alexandru Baltag & Sonja Smets, The Logic of Quantum Programs.
    We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems. We give a syntax and a relational semantics in which we abstract away from phases and probabilities. We present a sound proof system for this logic, and we show how to characterize by logical means various forms of entanglement (e.g. the Bell states) and various (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Michael Benedikt, Stevo Todorcevic, Alexandru Baltag, Howard Becker, Matthew Foreman, Jean-Yves Girard, Martin Grohe, Peter T. Johnstone, Simo Knuuttila & Menachem Kojman (2004). 2003 European Summer Meeting of the Association for Symbolic Logic Logic Colloquim'03. Bulletin of Symbolic Logic 10 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Alexandru Baltag (1999). Interpolation and Preservation for Pebble Logics. Journal of Symbolic Logic 64 (2):846-858.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation