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

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Humberstone, L, Williamson, T
Бусад зохиолчид: Institute of Philosophy and Sociology of the Polish Academy of Sciences
Формат: Journal article
Хэл сонгох:English
Хэвлэсэн: Springer 1997
Нөхцлүүд: