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

An Infinitary Graded Modal Logic (Graded Modalities VI)

โœ Scribed by Maurizio Fattorosi-Barnaba; Silvano Grassotti

Publisher
John Wiley and Sons
Year
1995
Tongue
English
Weight
951 KB
Volume
41
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

โœฆ Synopsis

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 machinery of the predicate infinitary logics in a version adapted to modal logic.

๐Ÿ“œ SIMILAR VOLUMES

The Modality of Finite (Graded Modalitie
The Modality of Finite (Graded Modalities VII)
โœ Maurizio Fattorosi-Barnaba; Uliano Paolozzi Balestrini ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 583 KB

We prove a completeness theorem for Kr, an extension of K by the operator O r that means "there exists a finite number of accessible worlds such that . . . is true", plus suitable axioms to rule it. This is done by an application of the method of consistency properties for modal systems as in [4] wi