01093nam a2200265 i 450099100067209970753620020507172054.0980930s1996 it ||| | ita b10741124-39ule_instLE01300497ExLDip.to Matematicaeng368.32AMS 62P05Lezzi, Maria534601Analisi attuariale di una polizza sulla vita. Tesi di laurea /laureanda Maria Lezzi ; relat. Marcello GiordanoLecce :Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica,a.a. 1996-97Applications to actuarial sciencesApplications to financial mathematicsGiordano, Marcello.b1074112402-04-1428-06-02991000672099707536LE013 TES 1996/97 LEZ112013000109558le013-E0.00-l- 00000.i1083219128-06-02Analisi attuariale di una polizza sulla vita. Tesi di laurea910866UNISALENTOle01301-01-98ma -itait 0103540nam 22006732 450 991095606590332120151005020621.01-107-21746-61-283-37848-51-139-18903-497866133784841-139-18775-91-139-19034-21-139-18312-51-139-18544-60-511-97453-1(CKB)2550000000061433(EBL)807277(OCoLC)782876977(SSID)ssj0000570948(PQKBManifestationID)11353989(PQKBTitleCode)TC0000570948(PQKBWorkID)10611271(PQKB)11363016(UkCbUP)CR9780511974533(MiAaPQ)EBC807277(Au-PeEL)EBL807277(CaPaEBR)ebr10520695(CaONFJC)MIL337848(PPN)261363700(EXLCZ)99255000000006143320101011d2011|||| uy| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierLogical dynamics of information and interaction /Johan van Benthem1st ed.Cambridge :Cambridge University Press,2011.1 online resource (xi, 373 pages) digital, PDF file(s)Title from publisher's bibliographic system (viewed on 05 Oct 2015).1-107-41717-1 0-521-76579-X Includes bibliographical references and index.Preface; 1. Logical dynamics, agency, and intelligent interaction; 2. Epistemic logic and semantic information; 3. Dynamic logic of public observation; 4. Multi-agent dynamic-epistemic logic; 5. Dynamics of inference and awareness; 6. Questions and issue management; 7. Soft information, correction, and belief change; 8. An encounter with probability; 9. Preference statics and dynamics; 10. Decisions, actions, and games; 11. Processes over time; 12. Epistemic group structure and collective agency; 13. Logical dynamics in philosophy; 14. Computation as conversation; 15. Rational dynamics in game theory; 16. Meeting cognitive realities; 17. Conclusion; Bibliography.This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science.Logical Dynamics of Information & InteractionLogic, Symbolic and mathematicalLogic, Symbolic and mathematical.511.3MAT018000bisacshBenthem Johan van1949-51846UkCbUPUkCbUPBOOK9910956065903321Logical dynamics of information and interaction4426459UNINA