A Textbook of Belief Dynamics: Solutions to Exercises

Dordrecht, Netherland: Kluwer Academic Publishers (1999)
  Copy   BIBTEX

Abstract

In the middle of the 1980s, logical tools were discovered that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable both to human beliefs and to the contents of databases. This is the first textbook in this new area. It contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. By using different selections from the formal section the book can be used on all levels of University education.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780792353287   0792353285   9400708157   0792353293

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logical Reasoning with Diagrams & Sentences: Using Hyperproof.Dave Barker-Plummer, ‎John Etchemendy Jon Barwise, Albert Lui Michael Murray & Andrei Aron Murad Akhter - 2017 - Stanford, CA, USA: Center for the Study of Language and Information. Edited by Jon Barwise & John Etchemendy.
The elements of formal logic.G. E. Hughes - 1965 - New York,: Harper & Row. Edited by D. G. Londey.
The Elements of Formal Logic.G. E. Hughes & David Londey - 2019 - Methuen.
Logic: The Laws of Truth.Nicholas J. J. Smith - 2012 - Princeton, N.J.: Princeton University Press.
Formal Logic: Its Scope and Limits.John P. Burgess (ed.) - 2006 - Hackett Publishing Company.
Modal Logics and Philosophy: Second Edition.Rod Girle - 2010 - Mcgill-Queen's University Press.
Formal Methods for Nonmonotonic and Related Logics: Vol Ii: Theory Revision, Inheritance, and Various Abstract Properties.Karl Schlechta - 2018 - Springer Verlag.
Logic in Computer Science: Modelling and Reasoning about Systems.Michael Huth & Mark Ryan - 2004 - Cambridge University Press.
Proof and Consequence: An Introduction to Classical Logic with Simon and Simon Says.Ray Jennings & Nicole A. Friedrich - 2006 - Peterborough, CA: Broadview Press.
All About Proofs, Proof for All.David Delahaye & Bruno Woltzenlogel Paleo (eds.) - 2015 - College Publications.

Analytics

Added to PP
2021-11-17

Downloads
14 (#994,650)

6 months
11 (#339,290)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Sven Ove Hansson
Royal Institute of Technology, Stockholm

Citations of this work

Truth-Seeking by Abduction.Ilkka Niiniluoto - 2018 - Cham, Switzerland: Springer.
Degrees of belief.Franz Huber & Christoph Schmidt-Petri (eds.) - 2009 - London: Springer.
Causation in terms of production.Holger Andreas & Mario Günther - 2020 - Philosophical Studies 177 (6):1565-1591.
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.
Dynamic Logics of Evidence-Based Beliefs.J. Benthem & E. Pacuit - 2011 - Studia Logica 99 (1-3):61-92.

View all 75 citations / Add more citations

References found in this work

No references found.

Add more references