Journal article

### Inverses for normal modal operators

Abstract:

Given a 1-ary sentence operator O, we describe L - another 1-ary operator - as a left inverse of O in a given logic if in that logic every formula φ is provably equivalent to LOφ. Similarly R is a right inverse of O if φ is always provably equivalent to ORφ. We investigate the behaviour of left and right inverses for O taken as the □ operator of various normal modal logics, paying particular attention to the conditions under which these logics are conservatively extended by the addition of su...

Publication status:
Published
Peer review status:
Peer reviewed

### Access Document

Publisher copy:
10.1023/A:1004995316790

### Authors

More by this author
Institution:
Monash University
Department:
Department of Philosophy
Role:
Author
More by this author
Institution:
University of Edinburgh
Department:
Department of Philosophy
Role:
Author
Publisher:
Springer Publisher's website
Journal:
Studia Logica Journal website
Volume:
59
Issue:
1
Pages:
33-64
Publication date:
1997-01-01
DOI:
EISSN:
1572-8730
ISSN:
0039-3215
URN:
uuid:e201626d-f741-44b6-ab4f-ee7d8be42b3e
Local pid:
ora:5681
Language:
English
Keywords:
Subjects: