๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Inverses for Normal Modal Operators

โœ Scribed by Lloyd Humberstone; Timothy Williamson

Book ID
110218030
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
347 KB
Volume
59
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Modal Operators for Coequations
Modal Operators for Coequations
โœ Jesse Hughes ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 231 KB
Modal sequents for normal modal logics
Modal sequents for normal modal logics
โœ Claudio Cerrato ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 433 KB

## Abstract We present sequent calculi for normal modal logics where modal and propositional behaviours are separated, and we prove a cut elimination theorem for the basic system K, so as completeness theorems (in the new style) both for K itself and for its most popular enrichments. MSC: 03B45, 03