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

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

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

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

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

PROPOSITIONAL EXTENSIONS OF LW₁WGOSTANIAN RICHARD; HRBACEK KAREL.1980; DISSERT. MATH.; POL; DA. 1980; VOL. 169; 54 P.; BIBL. 39 REF.Serial Issue

THE USE OF PARTIALLY ORDERED SETS FOR THE STUDY OF NON-CLASSICAL PROPOSITIONAL LOGICSDE BRUIJN NG.1978; PROBLEMES COMBINATOIRES ET THEORIE DES GRAPHES. CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE. COLLOQUE INTERNATIONAL. 260/1976/ORSAY; FRA; PARIS: CNRS; DA. 1978; PP. 67-70; ABS. FRE; BIBL. 6 REF.Conference Paper

DYNAMIC ALGEBRAS AND THE NATURE OF INDUCTIONPRATT VR.1980; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON THEORY OF COMPUTING. 12/1980/LOS ANGELES CA; USA; NEW YORK: ACM; DA. 1980; PP. 22-28; BIBL. 19 REF.Conference Paper

GENERALIZED S2-LIKE SYSTEMS OF PROPOSITIONAL MODAL LOGICBROWN MA.1982; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1982; VOL. 23; NO 1; PP. 53-61; BIBL. 5 REF.Article

ON THE NONEXISTANCE OF CERTAIN NORMAL FORMS IN THE LOGIC OF PROVABILITYBOOLOS G.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 3; PP. 638-640; BIBL. 3 REF.Article

INTUITONISTIC PROPOSITIONAL LOGIC IS POLYNOMIAL-SPACE COMPLETESTATMAN R.1979; THEOR. COMPUTER SCI.; NLD; DA. 1979; VOL. 9; NO 1; PP. 67-72; BIBL. 14 REF.Article

AN AXIOMATIZATION OF HERZBERGER'S 2-DIMENSIONAL PRESUPPOSITIONAL SEMANTICS.MARTIN JN.1977; NOTRE DAME J. FERM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 3; PP. 378-382; BIBL. 5 REF.Article

DIAGRAMMES DES DEDUCTIONS NATURELLESPOPOV SV.1982; PROBLEMY KIBERNETIKI; ISSN 507989; SUN; DA. 1982; NO 39; PP. 5-66; BIBL. 2 REF.Article

A RESULT ON PROPOSITIONAL LOGICS HAVING THE DISJUNCTION PROPERTYKIRK RE.1982; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1982; VOL. 23; NO 1; PP. 71-74; BIBL. 6 REF.Article

EQUATIONS BETWEEN REGULAR TERMS AND AN APPLICATION TO PROCESS LOGICCHANDRA A; HALPERN J; MEYER A et al.1981; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON THEORY OF COMPUTING. 13/1981/MILWAUKEE WI; USA; NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY; DA. 1981; PP. 384-390; BIBL. 10 REF.Conference Paper

THE DEGREES OF MAXIMALITY OF THE INTUITIONISTIC PROPOSITIONAL LOGIC AND SOME OF ITS FRAGMENTSDZIOBIAK W.1981; STUD. LOGICA; ISSN 0039-3215; POL; DA. 1981; VOL. 40; NO 2; PP. 195-198; BIBL. 9 REF.Article