Paper Info
Title
A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
Abstract
The basic preferential conditional logic PCL, initially proposed by Burgess, finds an interest in the formalisation of both counterfactual and plausible reasoning, since it is at the same time more general than Lewis' systems for counterfactuals and it contains as a fragment the KLM preferential logic P for default reasoning. This logic is characterised by Kripke models equipped with a ternary relational semantics that represents a comparative similarity/normality assessment between worlds, relativised to each world. It is first shown that its semantics can be equivalently specified in terms of neighbourhood models. On the basis of this alternative semantics, a new labelled calculus is given that makes use of both world and neighbourhood labels. It is shown that the calculus enjoys syntactic cut elimination and that, by adding suitable termination conditions, it provides a decision procedure.
Year
DOI
Venue
2015
10.1007/978-3-319-24312-2_9
TABLEAUX
Field
DocType
Volume
Discrete mathematics,Kripke semantics,Computer science,Natural deduction,Sequent calculus,Algorithm,Counterfactual thinking,Counterfactual conditional,Neighbourhood (mathematics),Syntax,Semantics
Conference
9323
ISSN
Citations 
PageRank 
0302-9743
2
0.41
References 
Authors
14
2
Name
Order
Citations
PageRank
Sara Negri128024.76
Nicola Olivetti261654.51