-
1
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
Alchourrón, C.E., Gärdenfors, P., and Makinson, D. On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic, 1985, 50:510-530
-
(1985)
Journal of Symbolic Logic
, vol.50
, pp. 510-530
-
-
Alchourrón, C.E.1
Gärdenfors, P.2
Makinson, D.3
-
2
-
-
0013328373
-
Hierarchies of regulation and their logic
-
In: Hilpinen R., ed., D. Reider Publishing Company
-
Alchourrón, C.E., and Makinson, D. Hierarchies of Regulation and Their Logic. In: Hilpinen R., ed., New Studies in Deontic Logic. D. Reider Publishing Company, 1981, 125-148
-
(1981)
New Studies in Deontic Logic
, pp. 125-148
-
-
Alchourrón, C.E.1
Makinson, D.2
-
3
-
-
53349091733
-
Conditionals and knowledge-Base update
-
In: Gärdenfors P. ed., Cambridge: Cambridge University Press
-
Cross, C.B., and Thomason, R.H. Conditionals and knowledge-base update. In: Gärdenfors P. ed., Belief Revision. Cambridge: Cambridge University Press, 1992, 247-275
-
(1992)
Belief Revision
, pp. 247-275
-
-
Cross, C.B.1
Thomason, R.H.2
-
5
-
-
0003609821
-
-
PhD thesis. Uppsala, Uppsala University
-
Hansson, S.O. Belief Base Dynamics. PhD thesis. Uppsala, Uppsala University, 1991
-
(1991)
Belief Base Dynamics
-
-
Hansson, S.O.1
-
6
-
-
0001978245
-
A dyadic representation of belief
-
In: Gärdenfors P., ed., Cambridge: Cambridge University Press
-
Hansson, S.O. A Dyadic Representation of Belief. In: Gärdenfors P., ed. Belief Revision. Cambridge: Cambridge University Press, 1992, 89-121
-
(1992)
Belief Revision
, pp. 89-121
-
-
Hansson, S.O.1
-
7
-
-
0000103388
-
In defense of base contraction
-
Hansson, S.O. In Defense of Base Contraction. Synthese 1992, 91:239-245
-
(1992)
Synthese
, vol.91
, pp. 239-245
-
-
Hansson, S.O.1
-
10
-
-
12244281776
-
Taking belief bases seriously
-
In: Prawitz, D. and Westerstahl, D., eds.,Kluwer Academic Press
-
Hansson, S.O. Taking Belief Bases Seriously. In: Prawitz, D. and Westerstahl, D., eds., Logic and Philosophy of Science in Uppsala, Kluwer Academic Press 1994, 13-28
-
(1994)
Logic and Philosophy of Science in Uppsala
, pp. 13-28
-
-
Hansson, S.O.1
-
11
-
-
0030124960
-
A test battery for rational database updating
-
Hansson, S.O. A Test Battery for Rational Database Updating. Artificial Intelligence Journal, 1996, 82:341-352
-
(1996)
Artificial Intelligence Journal
, vol.82
, pp. 341-352
-
-
Hansson, S.O.1
-
13
-
-
0001299939
-
On the status of the postulate of recovery in the logic of theory change
-
Makinson, D. On the status of the postulate of recovery in the logic of theory change. Journal of Philosophical Logic 1987, 16:383-394
-
(1987)
Journal of Philosophical Logic
, vol.16
, pp. 383-394
-
-
Makinson, D.1
-
14
-
-
84887246426
-
How to make a belief system coherent: Some results on the consolidation of information states
-
In: Hansson, S.O. and Rabinowicz, W ., eds. Logic for a Change, Uppsala Prints and Preprints in Philosophy 1995:9. Department of Philosopy, Uppsala University
-
Olsson E.J. How to Make a Belief System Coherent: Some Results on the Consolidation of Information States. In: Hansson, S.O. and Rabinowicz, W ., eds. Logic for a Change. Essays dedicated to Sten Lindstrom on the occasion of his fiftieth birthday. Uppsala Prints and Preprints in Philosophy 1995:9. Department of Philosopy, Uppsala University, 1995: 61-79
-
(1995)
Essays Dedicated to Sten Lindstrom on the Occasion of his Fiftieth Birthday
, pp. 61-79
-
-
Olsson, E.J.1
|
