Inverses for Normal Modal Operators
Source: Studia Logica, Volume 59, Number 1, July 1997 , pp. 33-64(32)
Abstract:Given a 1-ary sentence operator ◯, we describe L - another 1-ary operator - as as a left inverse of ◯ in a given logic if in that logic every formula is provably equivalent to L◯. Similarly R is a right inverse of ◯ if is always provably equivalent to ◯R. We investigate the behaviour of left and right inverses for ◯ 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 such inverses, as well as to the question of when, in such extensions, the inverses behave as normal modal operators in their own right.
Document Type: Regular Paper
Publication date: July 1, 1997