Inverses for normal modal operators
type: Item
instance of: scholarly article
title: Inverses for normal modal operators
zbMATH Open document ID: 0887.03015
DOI: 10.1023/A:1004995316790
author: Lloyd Humberstone
author: Timothy Williamson
published in: Studia Logica
publication date: 1997-10-26T00:00:00Z
review text: A modality \(L\) is a left inverse of \(\square\) in a logic S if \(L\square p\leftrightarrow p\) is provable in S. Existence of inverses is connected to derivability of \(\square^m p\leftrightarrow p\) in S.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1078606
zbMATH Keywords: modal logic
zbMATH Keywords: left inverses of modal operators
reviewed by: G. E. Mints
MaRDI profile type: Publication
full work available at URL: a:1004995316790
OpenAlex ID: W1517992131
description: scientific article; zbMATH DE number 1078606