CONDITIONAL BELIEFS : FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS

Show full item record



Permalink

http://hdl.handle.net/10138/307560

Citation

Girlando , M , Negri , S , Olivetti , N & Risch , V 2018 , ' CONDITIONAL BELIEFS : FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS ' , The Review of Symbolic Logic , vol. 11 , no. 4 , pp. 736-779 . https://doi.org/10.1017/S1755020318000023

Title: CONDITIONAL BELIEFS : FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS
Author: Girlando, Marianna; Negri, Sara; Olivetti, Nicola; Risch, Vincent
Contributor: University of Helsinki, Department of Philosophy, History and Art Studies
University of Helsinki, Theoretical Philosophy
Date: 2018-12
Language: eng
Number of pages: 44
Belongs to series: The Review of Symbolic Logic
ISSN: 1755-0203
URI: http://hdl.handle.net/10138/307560
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.
Subject: conditional doxastic logic
epistemic logic
neighbourhood semantics
plausibility semantics
Alexandroff correspondence
labelled sequent calculus
structural proof theory
completeness
decidability
canonical models
PROOF ANALYSIS
MODAL-LOGICS
KNOWLEDGE
611 Philosophy
Rights:


Files in this item

Total number of downloads: Loading...

Files Size Format View
conbel_rsl_final.pdf 538.5Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record