We study a modal system ¯T, that extends the classical (prepositional) modal system T and whose language is provided with modal operators M inn (nN) to be interpreted, in the usual kripkean semantics, as there are more than n accessible worlds such that.... We find reasonable axioms for ¯T and we prove for it completeness, compactness and decidability theorems.

We present a class of normal modal calculi PFD, whose syntax is endowed with operators M r, one for each r [0,1] : if a is sentence, M r is to he read the probability that a is true is strictly greater than r and to he evaluated as true or false in every world of a F-restricted probabilistic kripkean model. Every such a model is a kripkean model, enriched by a family of regular probability evaluations with range in a (...) fixed finite subset F of [0,1] : there is one such a function for every world w, P F, and this allows to evaluate M ra as true in the world w iff p F r.For every fixed F as before, suitable axioms and rules are displayed, so that the resulting system P FD is complete and compact with respect to the class of all the F-restricted probabilistic kripkean models. (shrink)

We go on along the trend of [2] and [1], giving an axiomatization of S4 0 and proving its completeness and compactness with respect to the usual reflexive and transitive Kripke models. To reach this results, we use techniques from [1], with suitable adaptations to our specific case.

We prove a completeness theorem for Kmath image, the infinitary extension of the graded version K0 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.