Skip to main content
×
×
Home

CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS

  • MARIANNA GIRLANDO (a1), SARA NEGRI (a2), NICOLA OLIVETTI (a3) and VINCENT RISCH (a3)
Abstract

The logic of Conditional Beliefs (CDL) has been introduced by Board, Baltag, and Smets to reason about knowledge and revisable beliefs in a multi-agent setting. In this article both the semantics and the proof theory for this logic are studied. First, a natural semantics for CDL is defined in terms of neighbourhood models, a multi-agent generalisation of Lewis’ spheres models, and it is shown that the axiomatization of CDL is sound and complete with respect to this semantics. Second, it is shown that the neighbourhood semantics is equivalent to the original one defined in terms of plausibility models, by means of a direct correspondence between the two types of models. On the basis of neighbourhood semantics, a labelled sequent calculus for CDL is obtained. The calculus has strong proof-theoretic properties, in particular admissibility of contraction and cut, and it provides a decision procedure for the logic. Furthermore, its semantic completeness is used to obtain a constructive proof of the finite model property of the logic. Finally, it is shown that other doxastic operators can be easily captured within neighbourhood semantics. This fact provides further evidence of the naturalness of neighbourhood semantics for the analysis of epistemic/doxastic notions.

Copyright
Corresponding author
*AIX-MARSEILLE UNIVERSITY UNIVERSITÉ DE TOULON CNRS, LIS MARSEILLE, FRANCE and DEPARTMENT OF PHILOSOPHY UNIVERSITY OF HELSINKI HELSINKI, FINLAND E-mail: marianna.girlando@univ-amu.fr
DEPARTMENT OF PHILOSOPHY UNIVERSITY OF HELSINKI HELSINKI, FINLAND E-mail: sara.negri@helsinki.fi
AIX-MARSEILLE UNIVERSITY UNIVERSITÉ DE TOULON CNRS, LIS MARSEILLE, FRANCE E-mail: nicola.olivetti@univ-amu.fr
§AIX-MARSEILLE UNIVERSITY UNIVERSITÉ DE TOULON CNRS, LIS MARSEILLE, FRANCE E-mail: vincent.risch@univ-amu.fr
References
Hide All
Alexandroff, P. (1937). Diskrete Räume. Matematicheskii Sbornik (NS), 2(3), 501519.
Baltag, A. & Smets, S. (2006). Conditional doxastic models: A qualitative approach to dynamic belief revision. Electronic Notes in Theoretical Computer Science, 165, 521.
Baltag, A. & Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. Logic and the Foundations of Game and Decision Theory (LOFT 7), 3, 958.
Baltag, A. & Smets, S. (2008). The logic of conditional doxastic actions. Texts in Logic and Games, Special Issue on New Perspectives on Games and Interaction, 4, 931.
Battigalli, P. & Siniscalchi, M. (2002). Strong belief and forward induction reasoning. Journal of Economic Theory, 106(2), 356391.
Board, O. (2004). Dynamic interactive epistemology. Games and Economic Behavior, 49(1), 4980.
Demey, L. (2011). Some remarks on the model theory of epistemic plausibility models. Journal of Applied Non-Classical Logics, 21(3–4), 375395.
Dyckhoff, R. & Negri, S. (2012). Proof analysis in intermediate logics. Archive for Mathematical Logic, 51(1–2), 7192.
Gärdenfors, P. (1978). Conditionals and changes of belief. Acta Philosophica Fennica, 30, 381404.
Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17(2), 157170.
Halpern, J. Y. & Friedman, N. (1994). On the complexity of conditional logics. In Doyle, J., Sandewall, E., and Torasso, P., editors. Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR’94). San Francisco: Morgan Kaufmann Publishers, pp. 202213.
Halpern, J. Y. & Moses, Y. (1992). A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(3), 319379.
Hintikka, J. (1962). Knowledge and Belief: An Introduction to the Logic of the Two Notions, Vol. 4. Ithaca: Cornell University Press.
Lewis, D. K. (1973). Counterfactuals. Oxford: Blackwell.
Malcolm, N. (1952). Knowledge and belief. Mind, 61(242), 178189.
Marti, J. & Pinosio, R. (2013). Topological semantics for conditionals. In Dancak, M., and Punochar, V., editors. The Logica Yearbook 2013. London: College Publications, pp. 115128.
Negri, S. (2005). Proof analysis in modal logic. Journal of Philosophical Logic, 34(5–6), 507544.
Negri, S. (2017a). Non-normal modal logics: A challenge to proof theory. In Arazim, P., and Lávička, T., editors. The Logica Yearbook 2016. London: College Publications, pp. 125140.
Negri, S. (2017b). Proof theory for non-normal modal logics: The neighbourhood formalism and basic results. IFCoLog Journal of Logic and its Applications, 4, 12411286.
Negri, S. & von Plato, J. (2001). Structural Proof Theory. Cambridge: Cambridge University Press.
Negri, S. & Olivetti, N. (2015). A sequent calculus for preferential conditional logic based on neighbourhood semantics. In De Nivelle, H., editor. Automated Reasoning with Analytic Tableaux and Related Methods. Cham, Switzerland: Springer, pp. 115134.
Pacuit, E. (2013). Dynamic epistemic logic I: Modeling knowledge and belief. Philosophy Compass, 8(9), 798814.
Pacuit, E. (2017). Neighborhood Semantics for Modal Logic. Cham, Switzerland: Springer.
Stalnaker, R. (1996). Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy, 12(02), 133163.
Stalnaker, R. (1998). Belief revision in games: Forward and backward induction. Mathematical Social Sciences, 36(1), 3156.
Stalnaker, R. (2006). On logics of knowledge and belief. Philosophical Studies, 128(1), 169199.
van Ditmarsch, H., van Der Hoek, W., & Kooi, B. (2008). Dynamic Epistemic Logic. New York: Springer Science & Business Media.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 8 *
Loading metrics...

Abstract views

Total abstract views: 54 *
Loading metrics...

* Views captured on Cambridge Core between 28th June 2018 - 18th July 2018. This data will be updated every 24 hours.