Relations between the logic of theory change and nonmonotonic logic

&
In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 183--205 (1991)
  Copy   BIBTEX

Abstract

Examines the link between nonmonotonic inference relations and theory revision operations, focusing on the correspondence between abstract properties which each may satisfy.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

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

Preferential cumulative reasoning and nonmonotonic semantic nets.Klaus U. Schulz - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 223--240.
Belief revision in a framework for default reasoning.Gerhard Brewka - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 206--222.
Computational issues in belief revision.João P. Martins - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 49--71.
Epistemic entrenchment with incomparabilities and relational belief revision.Sten Lindström & Wlodzimierz Rabinowicz - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 93--126.
Some results on theory revision.Karl Schlechta - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 72--92.
A nonmonotonic conditional logic for belief revision.Hans Rott - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 135–181.
Multiple contraction a further case against gärdenfors' principle of recovery.Reinhard Niederée - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 322--334.
Discourse representation theory and belief dynamics.Nicholas Asher - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 282--321.
Rational control of reasoning in artificial intelligence.Jon Doyle - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 19--48.
Propositional logic based on the dynamics of disbelief.David Pearce & Wolfgang Rautenberg - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 241--258.

Analytics

Added to PP
2014-02-01

Downloads
42 (#534,616)

6 months
4 (#1,255,690)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

David Makinson
London School of Economics
Peter Gärdenfors
Lund University

Citations of this work

Logical Disagreement.Frederik J. Andersen - 2024 - Dissertation, University of St. Andrews
Belief and Degrees of Belief.Franz Huber - 2009 - In Franz Huber & Christoph Schmidt-Petri (eds.), Degrees of belief. London: Springer.
Degrees of belief.Franz Huber & Christoph Schmidt-Petri (eds.) - 2009 - London: Springer.
Five faces of minimality.David Makinson - 1993 - Studia Logica 52 (3):339 - 379.

View all 58 citations / Add more citations

References found in this work

No references found.

Add more references