Parallel interpolation, splitting, and relevance in belief change

Journal of Symbolic Logic

Volumn 72, Issue 3, 2007, Pages 994-1002

  Kourousias, George ^a   Makinson, David ^b  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b LONDON SCHOOL OF ECONOMICS   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35448959185     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1191333851     Document Type: Article

References (12)

1. CARLOS A. ALCHOURRÓN, PETER GÄRDENFORS, and DAVID MAKINSON, On the logic of theory change: partial meet contraction and revision functions, this JOURNAL, vol. 50 (1985), pp. 510-530.
2. SAMIR CHOPRA, KONSTANTINOS GEORGATOS, and ROHIT PARIKH, Relevance sensitive non-monotonic inference on belief sequences, Journal of Applied Non-Classical Logics, vol. 11 (2001), no. 1-2, pp. 131-150.
3. SAMIR CHOPRA and ROHIT PARIKH, Relevance sensitive belief structures, Annals of Mathematics and Artificial Intelligence, vol. 28 (2000), no. 1-4, pp. 259-285.
4. WILLIAM CRAIG, Linear reasoning. A new form of the Herbrand-Gentzen theorem, this JOURNAL, vol. 22 (1957), no. 3, pp. 250-268.
5. _, Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory, this JOURNAL, vol. 22 (1957), no. 3, pp. 269-285.
6. SVEN O. HANSSON, A textbook of belief dynamics: Theory change and database updating, Applied Logic Series, Kluwer Academic Publishers, 1999.
7. WILFRID HODGES, A shorter model theory, Cambridge University Press, 1997.
8. DAVID MAKINSON, Friendliness for logicians. We will show them! Essays in honour of Dov Gabbay (Sergei N. Artemov, Howard Barringer, Artur S. d'Avila Garcez, Luis C. Lamb, and John Woods, editors), vol. two, College Publications, 2005, pp. 259-292.
9. Also appearing in Logica Universalis, (J.-Y. Béziau, editor), second edition, Birkhäuser Verlag, Basel, 2007.
10. ROHIT PARIKH, Beliefs, belief revision, and splitting languages, Logic, language, and computation (Lawrence Moss, Jonathan Ginzburg, and Maarten de Rijke, editors), vol. 2, CSLI Publications, Stanford, California, 1999, pp. 266-278.
11. PAVLOS PEPPAS, SAMIR CHOPRA, and NORMAN FOO, Distance semantics for relevance-sensitive belief revision, KR2004: Principles of knowledge representation and reasoning (Didier Dubois, Christopher A. Welty, and Mary-Anne Williams, editors), AAAI Press, Menlo Park, California, 2004, pp. 319-328.
12. HANS ROTT, Change, choice and inference: A study of belief revision and nonmonotonic reasoning, Oxford University Press, Oxford, 2001.