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

An incomplete system of modal logic

โœ Scribed by George Boolos; Giovanni Sambin

Publisher
Springer Netherlands
Year
1985
Tongue
English
Weight
348 KB
Volume
14
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On an Axiomatic System of Modal Logic
On an Axiomatic System of Modal Logic
โœ Akira Nakamura ๐Ÿ“‚ Article ๐Ÿ“… 1968 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 309 KB ๐Ÿ‘ 1 views
On a Certain System of Modal Logic
On a Certain System of Modal Logic
โœ Akira Nakamura ๐Ÿ“‚ Article ๐Ÿ“… 1965 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 205 KB ๐Ÿ‘ 1 views
An Infinitary Graded Modal Logic (Graded
An Infinitary Graded Modal Logic (Graded Modalities VI)
โœ Maurizio Fattorosi-Barnaba; Silvano Grassotti ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 951 KB

We prove a completeness theorem for K:l , the infinitary extension of the graded version K O of the minimal normal logic K , allowing conjunctions and disjunctions of countable sets of formulas. This goal is achieved using both the usual tools of the normal logics with graded modalities and the mach