In terms of formal deductive systems and multi-dimensional Kripke frames we study logical operations know, informed, common knowledge and common information. Based on [6] we introduce formal axiomatic systems for common information logics and prove that these systems are sound and complete. Analyzing the common information operation we show that it can be understood as greatest open fixed points for knowledge formulas. Using obtained results we explore monotonicity, omniscience problem, and inward monotonocity, describe their connections and give dividing examples. Also (...) we find algorithms recognizing these properties for some particular cases. (shrink)

Our investigation is concerned with the finite model property with respect to admissible rules. We establish general sufficient conditions for absence of fmp w. r. t. admissibility which are applicable to modal logics containing K4: Theorem 3.1 says that no logic λ containing K4 with the co-cover property and of width > 2 has fmp w. r. t. admissibility. Surprisingly many, if not to say all, important modal logics of width > 2 are within the scope of this theorem–K4 itself, (...) S4, GL, K4.1, K4.2, S4.1, S4.2, GL.2, etc. Thus the situation is completely opposite to the case of the ordinary fmp–the absolute majority of important logics have fmp, but not with respect to admissibility. As regards logics of width ≤ 2, there exists a zone for fmp w. r. t. admissibility. It is shown that all modal logics A of width ≤ 2 extending S4 which are not sub-logics of three special tabular logics have fmp w.r.t. admissibility. (shrink)

We study the problem of finding a basis for all rules admissible in the intuitionistic propositional logic IPC. The main result is Theorem 3.1 which gives a basis consisting of all rules in semi-reduced form satisfying certain specific additional requirements. Using developed technique we also find a basis for rules admissible in the logic of excluded middle law KC.

We find an explicit basis for all admissible rules of the modal logic S4. Our basis consists of an infinite sequence of rules which have compact and simple, readable form and depend on increasing set of variables. This gives a basis for all quasi-identities valid in the free modal algebra ℱS4 of countable rank.

In Iemhoff we gave a countable basis for the admissible rules of . Here, we show that there is no proper superintuitionistic logic with the disjunction property for which all rules in are admissible. This shows that, relative to the disjunction property, is maximal with respect to its set of admissible rules. This characterization of is optimal in the sense that no finite subset of suffices. In fact, it is shown that for any finite subset X of , for one (...) of the proper superintuitionistic logics Dn constructed by De Jongh and Gabbay ), all the rules in X are admissible. Moreover, the logic Dn in question is even characterized by X: it is the maximal superintuitionistic logic containing Dn with the disjunction property for which all rules in X are admissible. Finally, the characterization of is proved to be effective by showing that it is effectively reducible to an effective characterization of in terms of the Kleene slash by De Jongh. (shrink)