Markovic, Zoran An intuitionistic omitting types theorem. (English) Zbl 0442.03027 Publ. Inst. Math., Nouv. Sér. 26(40), 167-169 (1979). MSC: 03C99 × Cite Format Result Cite Review PDF Full Text: EuDML
Schwartz, Dietrich Darstellung der Lewyschen Algebren. (German) Zbl 0437.03037 Z. Math. Logik Grundlagen Math. 25, 53-56 (1979). MSC: 03G25 06D99 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L. Über eine Klassifikation der modalen Logiken. (Russian) Zbl 0436.03012 Algebra Logika 18, 328-340 (1979). MSC: 03B45 03B55 × Cite Format Result Cite Review PDF
Nepejvoda, N. N. Stable truth and computability. (Russian) Zbl 0422.03036 Investigations on algorithm theory and mathematical logics, Work Collect., Moscow 1979, 78-89 (1979). MSC: 03F99 03C90 03B55 × Cite Format Result Cite Review PDF
Montagna, Franco On the diagonalizable algebra of Peano arithmetic. (English) Zbl 0419.08010 Boll. Unione Mat. Ital., V. Ser., B 16, 795-812 (1979). MSC: 08B20 08C10 03C05 03C60 06E10 × Cite Format Result Cite Review PDF
van Benthem, J. F. A. K. Canonical modal logics and ultrafilter extensions. (English) Zbl 0405.03011 J. Symb. Log. 44, 1-8 (1979). MSC: 03B45 03C20 03C60 × Cite Format Result Cite Review PDF Full Text: DOI
Bowen, Kenneth A. Model theory for modal logic. Kripke models for modal predicate calculi. (English) Zbl 0395.03022 Synthese Library. Vol. 127. Dordrecht, Boston, London: D. Reidel Publishing Company. X, 128 p. Dfl. 50.00; $ 24.00 (1979). MSC: 03Cxx 03B45 03-02 × Cite Format Result Cite Review PDF
Vander Nat, Arnold Beyond non-normal possible worlds. (English) Zbl 0368.02022 Notre Dame J. Formal Logic 20, 631-635 (1979). MSC: 03B45 03C99 03C60 03G05 × Cite Format Result Cite Review PDF Full Text: DOI