EXPRESSIBILITY IN TWO-DIMENSIONAL LANGUAGES FOR PRESUPPOSITIONBERGMANN M.1982; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1982; VOL. 23; NO 4; PP. 459-470; BIBL. 10 REF.Article

ON THE DECIDABILITY OF PROPOSITIONAL ALGORITHMIC LOGICCHLEBUS BS.1982; Z. MATH. LOGIK GRUNDL. MATH.; ISSN 0044-3050; DDR; DA. 1982; VOL. 28; NO 3; PP. 247-261; BIBL. 8 REF.Article

A NORMAL FORM THEOREM FOR LOMEGA _1P, WITH APPLICATIONSHOOVER DN.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 3; PP. 605-624; BIBL. 12 REF.Article

FINITE MODELS FOR DETERMINISTIC PROPOSITIONAL DYNAMIC LOGICBEN ARI M; HALPERN JY; PNUELI A et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 249-263; BIBL. 10 REF.Conference Paper

A SHORTENED PROOF OF SOBOCINSKI'S THEOREM CONCERNING A RESTRICTED RULE OF SUBSTITUTION IN THE FIELD OF PROPOSITIONAL CALCULILAMBROS CH.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 112-114; BIBL. 1 REF.Article

CONSISTENT, INDEPENDENT, AND DISTINCT PROPOSITIONS. III: MODALITIES IN S6ANJAN SHUKLA.1983; NOTRE DAME JOURNAL OF FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1983; VOL. 24; NO 1; PP. 141-142; BIBL. 10 REF.Article

A CUT-FREE SEQUENTIAL SYSTEM FOR THE PROPOSITIONAL MODAL LOGIC OF FINITE CHAINSNISHIMURA H.1983; PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES; ISSN 508233; JPN; DA. 1983; VOL. 19; NO 1; PP. 305-316; BIBL. 7 REF.Article

A RESULT ON IMPLICATIONS OF SIGMA ₁-SENTENCES AND ITS APPLICATION TO NORMAL FORM THEOREMSGIRARD JY; PAPPINGHAUS P.1981; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1981; VOL. 46; NO 3; PP. 634-642; BIBL. 8 REF.Article

DECISION COMPLEXICITY OF VARIANTS OF PROPOSITIONAL DYNAMIC LOGICVALIEV MK.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 656-664; BIBL. 10 REF.Conference Paper

CALCULEMUSFRIEDMAN WH.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 1; PP. 166-174; BIBL. 6 REF.Article

GEACH ON ATOMICITY AND SINGULAR PROPOSITIONSWALD JD.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 285-294Article

A GENERAL PROPOSITIONAL LOGIC OF CONDITIONALSLEHMANN SK.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 77-83; BIBL. 4 REF.Article

ON VALID ASSERTIONS: IN PROBABILITY LOGICFERENCZI M.1977; STUD. SCI. MATH. HUNGAR.; HUN; DA. 1977 PUBL. 1980; VOL. 12; NO 1-2; PP. 101-116; BIBL. 10 REF.Article

EXTREMELY UNDECIDABLE SENTENCESBOOLOS G.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 1; PP. 191-196; BIBL. 4 REF.Article

PROPOSITIONAL DYNAMIC LOGIC FOR CONCURRENT PROGRAMSNISHIMURA H.1982; PUBL. RES. INST. MATH. SCI.; ISSN 508233; JPN; DA. 1982; VOL. 18; NO 1; PP. 233-250; BIBL. 10 REF.Article

SOLUTION TO THE P-W PROBLEMMARTIN EP; MEYER RK.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 4; PP. 869-887; BIBL. 14 REF.Article

FREE LIMITS OF FORCING AND MORE ON ARONSZAJN TREESSHELAH S.1981; ISR. J. MATH.; ISSN 0021-2172; ISR; DA. 1981; VOL. 38; NO 4; PP. 315-334; BIBL. 12 REF.Article

SUPER-LUKASIEWICZ PROPOSITIONAL LOGICSKOMORI Y.1981; NAGOYA MATH. J.; ISSN 0027-7630; JPN; DA. 1981; VOL. 84; PP. 119-133; BIBL. 17 REF.Article

A COMPLETE SEMANTICS FOR IMPLICATIONAL LOGICSKIRK RE.1981; Z. MATH. LOGIK GRUNDL. MATH.; ISSN 0044-3050; DDR; DA. 1981; VOL. 27; NO 4; PP. 381-383; BIBL. 4 REF.Article

EINE ANWENDUNG DES BASISTHEOREMS IN DER NICHTKLASSISCHEN LOGIK. = UNE APPLICATION DU THEOREME DE BASE DE LA LOGIQUE NON CLASSIQUEDAHN B.1975; WISSENSCH. Z. HUMBOLDT-UNIV. BERLIN, MATH.-NATURWISSENSCH. REIHE; DTSCH.; DA. 1975; VOL. 24; NO 6; PP. 794-796; ABS. RUSSE ANGL. FR.; BIBL. 4 REF.Article

IMPLICATIONAL LOGICS IN NATURAL DEDUCTION SYSTEMSLOPEZ ESCOBAR EGK.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 1; PP. 184-186; BIBL. 4 REF.Article

THE DEDUCTIBILITY PROBLEM IN PROPOSITIONAL DYNAMIC LOGICMEYER AR; STREET R; MIRKOWSKA G et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 238-248; BIBL. 7 REF.Conference Paper

CAREER INDUCTION FOR QUANTIFIERSMEYER RK.1980; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1980; VOL. 21; NO 3; PP. 539-548; BIBL. 9 REF.Article

A COMPLETENESS-PROOF METHOD FOR EXTENSIONS OF THE IMPLICATIONAL FRAGMENT OF THE PROPOSITIONAL CALCULUSBATENS D.1980; NOTRE DAME J. FORMAL LOGIC.; ISSN 0029-4527; USA; DA. 1980; VOL. 21; NO 3; PP. 509-517; BIBL. 8 REF.Article

COMPLETENESS THEOREMS FOR TWO PROPOSITIONAL LOGICS IN WHICH INDENTITY DIVERGES FROM MUTUAL ENTAILMENTHUGLY P; SAYWARD C.1981; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1981; VOL. 22; NO 3; PP. 269-282; BIBL. 1 REF.Article