Journal of Applied Non-Classical Logics 18 (2-3):153-173 (2008)

Denis Bonnay
Université Paris Nanterre
Johan Van Benthem
University of Amsterdam
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 characterization of invariance and safety under bisimulation as natural conditions for logical operations in modal and dynamic logics, and some new transfer results between first-order logic and modal logic.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.3166/JANCL.18.153-173
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 61,089
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.
Logical Operations and Invariance.Enrique Casanovas - 2007 - Journal of Philosophical Logic 36 (1):33 - 60.

Add more references

Citations of this work BETA

Constantes logiques et décision.Saloua Chatti - 2015 - Philosophia Scientae 19:229-250.

Add more citations

Similar books and articles

A New Modal Lindström Theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.
A Note on Graded Modal Logic.Maarten de Rijke - 2000 - Studia Logica 64 (2):271-283.
What One May Come to Know.van Benthem Johan - 2004 - Analysis 64 (2):95–105.
A Note on Graded Modal Logic.Maarten De Rijke - 2000 - Studia Logica 64 (2):271 - 283.
Modal Interpretations and Relativity.Wayne C. Myrvold - 2002 - Foundations of Physics 32 (11):1773-1784.


Added to PP index

Total views
33 ( #322,543 of 2,440,151 )

Recent downloads (6 months)
2 ( #282,343 of 2,440,151 )

How can I increase my downloads?


My notes