Journal article icon

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...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Publisher copy:
10.1023/A:1004995316790

Authors


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

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP