Bellissima, Fabio A test to determine distinct modalities in the extensions of S4. (English) Zbl 0567.03006 Z. Math. Logik Grundlagen Math. 31, 57-62 (1985). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Segerberg, K. “After” and “during” in dynamic logic. (Russian) Zbl 0599.03029 Modal and intensional logics and their application to problems of methodology of science, Collect. Artic., Moskva 1984, 59-81 (1984). MSC: 03B60 03B45 68Q65 × Cite Format Result Cite Review PDF
Fleischer, Isidore “Kripke semantics” \(=\) algebra \(+\) poetry. (English) Zbl 0571.03005 Logique Anal., Nouv. Sér. 27, 283-295 (1984). Reviewer: W.Lenzen MSC: 03B45 03B20 03G05 03A05 × Cite Format Result Cite Review PDF
Stepanov, V. I. On the theory of models for intuitionistic logic. (English. Russian original) Zbl 0568.03018 Math. USSR, Sb. 48, 223-235 (1984); translation from Mat. Sb., Nov. Ser. 120(162), No. 2, 227-239 (1983). MSC: 03C95 03F55 03C20 03C35 03B15 03B55 × Cite Format Result Cite Review PDF Full Text: DOI
Bellissima, Fabio Atoms in modal algebras. (English) Zbl 0562.03037 Z. Math. Logik Grundlagen Math. 30, 303-312 (1984). MSC: 03G25 03B45 03C05 08B20 × Cite Format Result Cite Review PDF Full Text: DOI
Reiterman, Jan; Trnková, Věra From dynamic algebras to test algebras. (English) Zbl 0551.68030 Mathematical foundations of computer science, Proc. 11th Symp., Praha/Czech. 1984, Lect. Notes Comput. Sci. 176, 490-497 (1984). Reviewer: H.Nishimura MSC: 68Q65 03G25 03B45 03C05 × Cite Format Result Cite Review PDF
Rautenberg, Wolfgang Modal tableau calculi and interpolation. (English) Zbl 0547.03015 J. Philos. Logic 12, 403-423 (1983). Reviewer: W.Carnielli MSC: 03B45 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
Hájek, Petr Arithmetical interpretations of dynamic logic. (English) Zbl 0546.03012 J. Symb. Log. 48, 704-713 (1983). Reviewer: O.Sonobe MSC: 03B45 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Nakamura, Tetsuo Disjunction property for some intermediate predicate logics. (English) Zbl 0537.03017 Rep. Math. Logic 15, 33-39 (1983). Reviewer: G.Priest MSC: 03B55 03C99 × Cite Format Result Cite Review PDF
Magidor, Menachem; Shelah, Saharon; Stavi, Jonathan On the standard part of nonstandard models of set theory. (English) Zbl 0522.03060 J. Symb. Log. 48, 33-38 (1983). MSC: 03H99 03C70 03C62 03E99 × Cite Format Result Cite Review PDF Full Text: DOI
Valentini, S.; Solitro, U. The modal logic of consistency assertions of Peano arithmetic. (English) Zbl 0521.03010 Z. Math. Logik Grundlagen Math. 29, 25-32 (1983). MSC: 03B45 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Ono, Hiroakira Model extension theorem and Craig’s interpolation theorem for intermediate predicate logics. (English) Zbl 0519.03016 Rep. Math. Logic 15, 41-58 (1983). MSC: 03B55 × Cite Format Result Cite Review PDF
Montagna, Franco ZFC-models as Kripke-models. (English) Zbl 0519.03013 Z. Math. Logik Grundlagen Math. 29, 163-168 (1983). MSC: 03B45 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Meskhi, V. Yu. Critical modal logics containing the Brouwer axiom. (English. Russian original) Zbl 0516.03009 Math. Notes 33, 65-69 (1983); translation from Mat. Zametki 33, No. 1, 131-139 (1983). MSC: 03B45 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Bellissima, Fabio Atoms in modal algebras. (English) Zbl 0513.03012 Atti degli incontri di logica matematica, Siena/Italia 1982, 351-354 (1983). MSC: 03B45 03C05 × Cite Format Result Cite Review PDF
Markovic, Zoran Some preservation results for classical and intuitionistic satisfiability in Kripke models. (English) Zbl 0487.03015 Notre Dame J. Formal Logic 24, 395-398 (1983). MSC: 03C25 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
Moens, J. L. Forcing et sémantique de Kripke-Joyal. (French) Zbl 0565.03013 Cahiers du Centre de Logique 3. Louvain-la-Neuve: Université Catholique de Louvain, Institut Supérieur de Philosophie (ISBN 2-87077-098-7). ii, 28 p. (1982). Reviewer: A.Kock MSC: 03C25 18F10 03G30 × Cite Format Result Cite Review PDF
Segerberg, Krister “After” and “during” in dynamic logic. (English) Zbl 0564.03018 Acta Philos. Fenn. 35, 203-228 (1982). Reviewer: O.Sonobe MSC: 03B45 68Q65 × Cite Format Result Cite Review PDF
Marchini, Carlo Realizations and witnesses for Kripke models. (English) Zbl 0538.03046 Mathematics at the service of man, Proc. 2nd World Conf., Las Palmas/Spain 1982, 471-476 (1982). Reviewer: M.Eytan MSC: 03F55 03G30 03C99 × Cite Format Result Cite Review PDF
Yashin, A. D. Intuitionistic predicate logic with the connective ”tomorrow”. (English) Zbl 0531.03011 Mosc. Univ. Math. Bull. 37, No. 4, 22-26 (1982). MSC: 03B55 × Cite Format Result Cite Review PDF
Grayson, Robin J. Constructive well-orderings. (English) Zbl 0501.03041 Z. Math. Logik Grundlagen Math. 28, 495-504 (1982). MSC: 03F65 × Cite Format Result Cite Review PDF Full Text: DOI
Fourman, M. P.; Ščedrov, A. The ”World’s simplest axiom of choice” fails. (English) Zbl 0499.03048 Manuscr. Math. 38, 325-332 (1982). MSC: 03G30 03F50 03E25 18B25 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Nemeti, I. Connections between cylindric algebras and initial algebra semantics of CF languages. (English) Zbl 0502.68024 Mathematical logic in computer science, Salgotarjan/Hung. 1978, Colloq. Math. Soc. Janos Bolyai 26, 561-605 (1981). MSC: 68Q55 03G15 03C05 × Cite Format Result Cite Review PDF
Fischer Servi, Gisele Teoremi di completezza per calcoli bimodali. (Italian) Zbl 0499.03004 Riv. Mat. Univ. Parma, IV. Ser. 7, 347-350 (1981). MSC: 03B45 × Cite Format Result Cite Review PDF
Kirk, Robert E. A complete semantics for implicational logics. (English) Zbl 0498.03016 Z. Math. Logik Grundlagen Math. 27, 381-383 (1981). MSC: 03B60 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
Kawai, Hiroya On the completeness theorem for bi-modal system LTOmega and LETOmega. (English) Zbl 0498.03013 Math. Jap. 26, 377-383 (1981). MSC: 03B45 68N01 68Q60 03C75 68Q65 × Cite Format Result Cite Review PDF
Lopez-Escobar, E. G. K. Equivalence between semantics for intuitionism. I. (English) Zbl 0497.03047 J. Symb. Log. 46, 773-780 (1981). MSC: 03G30 03F50 × Cite Format Result Cite Review PDF Full Text: DOI
Kozen, Dexter On the duality of dynamic algebras and Kripke models. (English) Zbl 0482.03008 Logic of programs, Workshop, ETH Zürich 1979, Lect. Notes Comput. Sci. 125, 1-11 (1981). MSC: 03B60 03G25 68Q65 03C99 68Q60 × Cite Format Result Cite Review PDF
Goldblatt, Robert I. Grothendieck topology as geometric modality. (English) Zbl 0474.03018 Z. Math. Logik Grundlagen Math. 27, 495-529 (1981). MSC: 03C99 03B45 18F10 03G30 × Cite Format Result Cite Review PDF Full Text: DOI
Ščedrov, Andrej Consistency and independence results in intuitionistic set theory. (English) Zbl 0463.03033 Constructive mathematics, Proc. Conf., Las Cruces/N.M. 1980, Lect. Notes Math. 873, 54-86 (1981). MSC: 03F50 03G30 03E35 × Cite Format Result Cite Review PDF
Mirolli, Massimo On the axiomatization of finite frames of the modal system GL. (English) Zbl 0493.03004 Boll. Unione Mat. Ital., V. Ser., B 17, 1075-1085 (1980). MSC: 03B45 × Cite Format Result Cite Review PDF
Van Benthem, J. F. A. K. Some kinds of modal completeness. (English) Zbl 0459.03008 Stud. Log. 39, 125-141 (1980). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L. A classification of modal logics. (English) Zbl 0457.03022 Algebra Logic 18, 202-210 (1980). MSC: 03B45 03B55 × Cite Format Result Cite Review PDF Full Text: DOI
Bowen, Kenneth A. Interpolation in loop-free logic. (English) Zbl 0457.03012 Stud. Log. 39, 297-310 (1980). MSC: 03B45 03C99 68N01 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Shekhtman, V. B. Topological models of propositional logics. (Russian) Zbl 0455.03013 Semiotika Inf. 15, 74-98 (1980). MSC: 03C99 03B45 03B55 × Cite Format Result Cite Review PDF
Mihajlova, M. Reduction of modalities in several intuitionistic modal logics. (English) Zbl 0453.03019 C. R. Acad. Bulg. Sci. 33, 743-745 (1980). MSC: 03B45 × Cite Format Result Cite Review PDF
Kozen, Dexter A representation theorem for models of *-free PDL. (English) Zbl 0451.03005 Automata, languages and programming, 7th Colloq., Noordwijkerhout/ Netherlands 1980, Lect. Notes Comput. Sci. 85, 351-362 (1980). MSC: 03B45 03G25 03B60 68Q65 68N01 × Cite Format Result Cite Review PDF
Kirk, Robert E. A characterization of the classes of finite tree frames which are adequate for the intuitionistic logic. (English) Zbl 0446.03017 Z. Math. Logik Grundlagen Math. 26, 497-501 (1980). MSC: 03B55 03C99 × Cite Format Result Cite Review PDF Full Text: DOI
Shirai, Kokio; Matsumoto, Kazuo A note on elimination of function symbols in the intuitionistic predicate calculus. (English) Zbl 0443.03026 Rep. Fac. Sci., Shizuoka Univ. 14, 13-20 (1980). MSC: 03F55 × Cite Format Result Cite Review PDF
Rauszer, Cecylia An algebraic and Kripke-style approach to a certain extension of intuitionistic logic. (English) Zbl 0442.03024 Diss. Math. 167, 62 P. (1980). MSC: 03B55 03C99 03G25 × Cite Format Result Cite Review PDF
Gostanian, Richard Constructible models of subsystems of ZF. (English) Zbl 0436.03048 J. Symb. Log. 45, 237-250 (1980). MSC: 03E20 03C30 × Cite Format Result Cite Review PDF Full Text: DOI
Chellas, Brian F. Modal logic. An introduction. (English) Zbl 0431.03009 Cambridge etc.: Cambridge University Press. XII, 295 p. hbk: £17.50; pbk: £6.50 (1980). MSC: 03B45 03-01 03-02 03A05 × Cite Format Result Cite Review PDF
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
Veit Riccioli, Barbara Il forcing come principio logico per la costruzione dei fasci. II. (English) Zbl 0437.03015 Rend. Mat., VI. Ser. 11, 601-625 (1978). MSC: 03C90 18B25 03C25 03G30 × Cite Format Result Cite Review PDF
Veit Riccioli, Barbara Il forcing come principio logico per la costruzione dei fasci. I. (English) Zbl 0431.03024 Rend. Mat., VI. Ser. 11, 329-353 (1978). MSC: 03C90 18B25 03C25 03G30 × Cite Format Result Cite Review PDF
Krol, M. D. A topological model for intuitionistic analysis with Kripkes scheme. (English) Zbl 0418.03039 Z. Math. Logik Grundlagen Math. 24, 427-436 (1978). MSC: 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
Routley, Richard An inadequacy in Kripke-semantics for intuitionistic quantificational logic. (English) Zbl 0414.03037 Bull. Sect. Logic, Pol. Acad. Sci. 7, 61-67 (1978). MSC: 03F55 × Cite Format Result Cite Review PDF
Reyes, Gonzalo E. Théorie des modeles et faisceaux. (French) Zbl 0409.03040 Adv. Math. 30, 156-170 (1978). MSC: 03G30 18B25 03C25 03F55 03B20 18G05 55R25 × Cite Format Result Cite Review PDF Full Text: DOI
Goldblatt, Rob Arithmetical necessity, provability and intuitionistic logic. (English) Zbl 0409.03011 Theoria 44, 38-46 (1978). MSC: 03B45 03F55 03F30 03F25 × Cite Format Result Cite Review PDF Full Text: DOI
Zachorowski, Stanislaw Dummett’s LC has the interpolation property. (English) Zbl 0407.03046 Bull. Sect. Logic, Pol. Acad. Sci. 7, 58-60 (1978). MSC: 03F55 03C90 × Cite Format Result Cite Review PDF
Nadel, Mark E. Infinitary intuitionistic logic from a classical point of view. (English) Zbl 0406.03055 Ann. Math. Logic 14, 159-191 (1978). MSC: 03C30 03C75 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
van Dalen, Dirk An interpretation of intuitionistic analysis. (English) Zbl 0399.03049 Ann. Math. Logic 13, 1-43 (1978). MSC: 03F55 03C99 × Cite Format Result Cite Review PDF Full Text: DOI
Krol’, M. D. Distinct variants of Kripke’s schema in intuitionistic analysis. (English. Russian original) Zbl 0397.03037 Sov. Math., Dokl. 19, 474-477 (1978); translation from Dokl. Akad. Nauk SSSR 239, 1048-1051 (1978). MSC: 03F55 × Cite Format Result Cite Review PDF
de Swart, H. First steps in intuitionistic model theory. (English) Zbl 0395.03037 J. Symb. Log. 43, 3-12 (1978). MSC: 03F55 03C99 × Cite Format Result Cite Review PDF Full Text: DOI
Nepejvoda, N. N. Level Beth models and realizability. (Russian) Zbl 0496.03041 Set theory and topology, No. 1, Interuniv. Work Collect., Izhevsk 1977, 67-69 (1977). MSC: 03F65 03C62 × Cite Format Result Cite Review PDF
Bernhardt, Klaus Abschließbarkeit von Kripke-Semantiken. (German) Zbl 0423.03040 Wiss. Z. Humboldt-Univ. Berlin, Math.-Naturwiss. Reihe 26, 615-622 (1977). MSC: 03C80 03C99 03E55 × Cite Format Result Cite Review PDF
Motohashi, Nobuyoshi Partially ordered interpretations. (English) Zbl 0411.03030 J. Symb. Log. 42, 83-93 (1977). MSC: 03C99 03F25 03B10 × Cite Format Result Cite Review PDF Full Text: DOI
Ono, Hiroakira On some intuitionistic modal logics. (English) Zbl 0404.03016 Bull. Sect. Logic, Pol. Acad. Sci. 6, 182-185 (1977). MSC: 03B45 03F55 03C35 × Cite Format Result Cite Review PDF