A logic with normal modal operators and countable infinite conjunctions and disjunctions is introduced. A Hilbert's style axiomatization is proved complete for this logic, as well as for countable ...

This is a preview. Log in through your library . Abstract Deductive inference is usually regarded as being "tautological" or "analytical": the information conveyed by the conclusion is contained in ...