Counterfactual logic: labelled and internal calculi, two sides of the same coin?
| Autor: | Girlando, Marianna, Negri, Sara, Olivetti, Nicola |
|---|---|
| Přispěvatelé: | Girlando, Marianna, Traduction et Découverte des Calculs pour les logiques Modales et dérivées - - TICAMORE2016 - ANR-16-CE91-0002 - AAPG2016 - VALID, G. Bezhanishvili, G. D’Agostino, G. Metcalfe and T. Studer, Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), G. Bezhanishvili, G. D’Agostino, G. Metcalfe and T. Studer, ANR-16-CE91-0002,TICAMORE,Traduction et Découverte des Calculs pour les logiques Modales et dérivées(2016) |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: | |
| Zdroj: | Advances in Modal Logics 2018 Advances in Modal Logics 2018, Aug 2018, Bern, Switzerland. pp.291-310 |
| Popis: | International audience; Lewis' Logic V is the fundamental logic of counterfactuals. Its proof theory is here investigated by means of two sequent calculi based on the connective of comparative plausibility. First, a labelled calculus is defined on the basis of Lewis' sphere semantics. This calculus has good structural properties and provides a decision procedure for the logic. An internal calculus, recently introduced, is then considered. In this calculus, each sequent in a derivation can be interpreted directly as a formula of V. In spite of the fundamental difference between the two calculi, a mutual correspondence between them can be established in a constructive way. In one direction, it is shown that any derivation of the internal calculus can be translated into a derivation in the labelled calculus. The opposite direction is considerably more difficult, as the labelled calculus comprises rules which cannot be encoded by purely logical rules. However, by restricting to derivations in normal form, derivations in the labelled calculus can be mapped into derivations in the internal calculus. On a general level, these results aim to contribute to the understanding of the relations between labelled and internal proof systems for logics belonging to the realm of modal logic and its extensions, a topic still relatively unexplored. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|