Inverses for normal modal operators
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...
| Principais autores: | , |
|---|---|
| Outros Autores: | |
| Formato: | Journal article |
| Idioma: | English |
| Publicado em: |
Springer
1997
|
| Assuntos: |