Inverses for Normal Modal Operators

Authors: Humberstone, L.1; Williamson, T.2

Source: Studia Logica, Volume 59, Number 1, July 1997 , pp. 33-64(32)

Publisher: Springer

Buy & download fulltext article:


Price: $47.00 plus tax (Refund Policy)


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.

Keywords: Kripke models; conservative extension; inverses; modal logic

Document Type: Regular Paper

Affiliations: 1: Department of Philosophy Monash University Clayton, Victoria 3168 Australia 2: Department of Philosophy University of Edinburgh Edinburgh Eh8 9jx Scotland

Publication date: July 1, 1997

Related content


Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content

Text size:

A | A | A | A
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages. print icon Print this page