A NOTE ON KRIPKE'S DISTINCTION BETWEEN RIGID DESIGNATORS AND NON-RIGID DESIGNATORSCHAKRAVARTI SS.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 309-313; BIBL. 4 REF.Article

REALIZATIONS AND WITNESSES FOR KRIPKE MODELSMARCHINI C.1982; WORLD CONFERENCE ON MATHEMATICS AT THE SERVICE OF MAN. 2/1982-06-28/LAS PALMAS; ESP; DA. 1982; PP. 471-476; BIBL. 11 REF.Conference Paper

ON THE RELATION OF THREE-VALUED LOGIC TO MODEL LOGICBENDOVA K.1981; COMMENTAT. MATH. UNIV. CAROL.; ISSN 0323-0171; CSK; DA. 1981; VOL. 22; NO 4; PP. 637-653; BIBL. 8 REF.Article

SOME RESULTS ON THE INTERMEDIATE LOGICSONO H.1972; PUBL. RES. INST. MATH. SCI.; JAP.; DA. 1972; VOL. 8; NO 1; PP. 117-130; BIBL. 13 REF.Serial Issue

SOME PRESERVATION RESULTS FOR CLASSICAL AND INTUITIONISTIC SATISFIABILITY IN KRIPKE MODELSMARKOVIC Z.1983; NOTRE DAME JOURNAL OF FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1983; VOL. 24; NO 3; PP. 395-398; BIBL. 6 REF.Article

ON AXIOMATIZABILITY AND PRESERVATION IN KRIPKE MODELSMARKOVIC Z.1981; PUB. INST. MATH. (BELGR.); ISSN 0350-1302; YUG; DA. 1981; VOL. 30; NO 44; PP. 111-112; BIBL. 6 REF.Article

SOME APPLICATIONS OF KRIPKE MODELS TO FORMAL SYSTEMS OF INTUITIONISTIC ANALYSISWEINSTEIN S.1979; ANN. MATH. LOGIC; NLD; DA. 1979; VOL. 15; NO 1; PP. 1-32; BIBL. 16 REF.Article

A MODEL SYSTEM PROPERLY INDEPENDENT OF BOTH THE BROUNWERIAN SYSTEM AND 84.GEORGACARAKOS GN.1978; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1978; VOL. 19; NO 1; PP. 101-114; BIBL. 2 REF.Article

TREES IN KRIPKE MODELS AND IN AN INTUITIONISTIC REFUTATION SYSTEMMIGLIOLI P; MOSCATO U; ORNAGHI M et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 112; PP. 316-331; BIBL. 20 REF.Conference Paper

LOGIQUE DES PROBLEMES INFINIS ET MODELES DE KRIPKE SUR LES RESEAUX ATOMIQUES D'ENSEMBLESSKVORTSOV DP.1979; DOKL. AKAD. NAUK S.S.S.R.; SUN; DA. 1979; VOL. 245; NO 4; PP. 798-801; BIBL. 9 REF.Article

INFINITARY INTUITIONISTIC LOGIC FROM A CLASSICAL POINT OF VIEW.NADEL ME.1978; ANN. MATH. LOGIC; NLD; DA. 1978; VOL. 14; NO 2; PP. 159-191; BIBL. 13 REF.Article

DIFFERENTES VARIANTES DU SCHEMA DE KRIPKE DANS L'ANALYSE INTUITIONNISTEKROL MD.1978; DOKL. AKAD. NAUK S.S.S.R.; S.S.S.R.; DA. 1978; VOL. 239; NO 5; PP. 1048-1051; BIBL. 9 REF.Article

LOGIQUES MODALES BIDIMENSIONNELLESSHEKHTMAN VB.1978; MAT. ZAMET.; S.S.S.R.; DA. 1978; VOL. 23; NO 5; PP. 759-772; BIBL. 7 REF.Article

PROPRIETES DISJONCTIVE ET EXISTENTIELLE DE L'ANALYSE INTUITIONNISTE DANS LE SCHEMA DE KRIPKEKROL MD.1977; DOKL. AKAD. NAUK S.S.S.R.; S.S.S.R.; DA. 1977; VOL. 234; NO 4; PP. 750-753; BIBL. 7 REF.Article

SUPERCONSTRUCTIVE PROPOSITIONAL CALCULI WITH EXTRA AXIOM SCHEMES CONTAINING ONE VARIABLEANDERSON JG.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 2; PP. 113-130; BIBL. 11 REF.Serial Issue

A REPRESENTATION THEOREM FOR MODELS OF *-FREE PDLKOZEN D.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 351-362; BIBL. 27 REF.Conference Paper

A STUDY OF KRIPKE-TYPE MODELS FOR SOME MODAL LOGICS BY GENTZEN'S SEQUENTIAL METHOD.SATO M.1977; PUBL. RES. INST. MATH. SCI.; JAP.; DA. 1977; VOL. 13; NO 2; PP. 381-468; BIBL. 2 P.Article

A Kripke-style model for the admissibility of structural rulesGOGUEN, Healfdene.Lecture notes in computer science. 2002, pp 112-124, issn 0302-9743, isbn 3-540-43287-6Conference Paper

Halldén-completeness by gluing of kripke framesVAN BENTHEM, J. F. A. K; HUMBERSTONE, I. L.Notre Dame journal of formal logic. 1983, Vol 24, Num 4, pp 426-430, issn 0029-4527Article

On the logical content of Computational type theory: A solution to Curry's problemFAIRTLOUGH, Matt; MENDLER, Michael.Lecture notes in computer science. 2002, pp 63-78, issn 0302-9743, isbn 3-540-43287-6Conference Paper

Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculusDOSEN, K.Notre Dame journal of formal logic. 1991, Vol 32, Num 4, pp 580-597, issn 0029-4527Article

Relational representability for algebras of substructural logicsORŁOWSKA, Ewa; RADZIKOWSKA, Anna Maria.Lecture notes in computer science. 2006, pp 212-224, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 13 p.Conference Paper

Topo-distance : Measuring the difference between spatial patternsAIELLO, Marco.Lecture notes in computer science. 2000, pp 73-86, issn 0302-9743, isbn 3-540-41131-3Conference Paper

An arithmetical ompleteness theorem for pre-permutationsTUTTAS, F.Notre Dame journal of formal logic. 1993, Vol 34, Num 1, pp 84-89, issn 0029-4527Article

A characterization of lambda definability in categorical models of implicit polymorphismALIMOHAMED, M.Theoretical computer science. 1995, Vol 146, Num 1-2, pp 5-23, issn 0304-3975Article