Modal Logic and Invariance - HAL Accéder directement au contenu
Article dans une revue Journal of Applied Non-Classical Logics Année : 2008

Modal Logic and Invariance

Résumé

Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with generalized quantifiers, and various characterizations in terms of semantic invariance have been proposed. In this paper, our main concern is with modal and dynamic logics. Drawing on previous work on invariance for first-order operations, we find an abstract connection between the kind of logical operations a system uses and the kind of invariance conditions the system respects. This analysis yields (a) a characterization of invariance and safety under bisimulation as natural conditions for logical operations in modal and dynamic logics, and (b) some new transfer results between first-order logic and modal logic.
Loading...
Fichier non déposé

Dates et versions

halshs-00791626, version 1 (21-02-2013)

Identifiants

  • HAL Id : halshs-00791626 , version 1

Citer

Johan van Benthem, Denis Bonnay. Modal Logic and Invariance. Journal of Applied Non-Classical Logics, 2008, 18 (2), pp.153-173. ⟨halshs-00791626⟩
40 Consultations
0 Téléchargements
Dernière date de mise à jour le 05/05/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus