Tennant, Neil Natural logic. Corrected reprint of the 1978 original. (English) Zbl 0722.03001 Edinburgh: Edinburgh University Press. x, 196 p. $ 14.50 (1990). MSC: 03-01 03B05 03B10 03B60 PDFBibTeX XMLCite \textit{N. Tennant}, Natural logic. Corrected reprint of the 1978 original. Edinburgh: Edinburgh University Press (1990; Zbl 0722.03001)
Partee, Barbara; ter Meulen, Alice; Wall, Robert E. Mathematical methods in linguistics. (English) Zbl 0722.68089 Studies in Linguistics and Philosophy, 30. Dordrecht etc: Kluwer Academic Publishers. xx, 663 p. Dfl. 225.00; $ 99.00; £79.00 (1990). Reviewer: N.Curteanu (Iaşi) MSC: 68T50 03B65 68-02 PDFBibTeX XMLCite \textit{B. Partee} et al., Mathematical methods in linguistics. Dordrecht etc: Kluwer Academic Publishers (1990; Zbl 0722.68089)
Mattila, Jorma K. The construction of a propositional modifier logic. (English) Zbl 0729.03017 Res. Rep., Lappeenrannan Tek. Korkeakoulu 21, 19 p. (1990). MSC: 03B60 PDFBibTeX XML
Orłowska, Ewa Kripke semantics for knowledge representation logics. (English) Zbl 0726.03023 Stud. Log. 49, No. 2, 255-272 (1990). Reviewer: O.Sonobe (Miura City) MSC: 03B60 68T30 68T27 03B45 03B80 PDFBibTeX XMLCite \textit{E. Orłowska}, Stud. Log. 49, No. 2, 255--272 (1990; Zbl 0726.03023) Full Text: DOI
Suzuki, Nobu-Yuki Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics. (English) Zbl 0723.03008 Stud. Log. 49, No. 3, 289-306 (1990). Reviewer: V.Shekhtman (Moskva) MSC: 03B55 03B45 03C90 PDFBibTeX XMLCite \textit{N.-Y. Suzuki}, Stud. Log. 49, No. 3, 289--306 (1990; Zbl 0723.03008) Full Text: DOI
Woleński, J. Deontic logic and possible worlds semantics: A historical sketch. (English) Zbl 0719.03011 Stud. Log. 49, No. 2, 273-282 (1990). Reviewer: L.F.Goble (Salem) MSC: 03B60 03-03 01A60 PDFBibTeX XMLCite \textit{J. Woleński}, Stud. Log. 49, No. 2, 273--282 (1990; Zbl 0719.03011) Full Text: DOI
Dzhaparidze, G. K. Provability logic with modalities for arithmetical complexities. (English) Zbl 0714.03018 Soobshch. Akad. Nauk Gruz. SSR 138, No. 3, 481-484 (1990). Reviewer: G.Mints MSC: 03B45 03F30 03F40 PDFBibTeX XMLCite \textit{G. K. Dzhaparidze}, Soobshch. Akad. Nauk Gruz. SSR 138, No. 3, 481--484 (1990; Zbl 0714.03018)
Wijesekera, Duminda Constructive modal logics. I. (English) Zbl 0714.03016 Ann. Pure Appl. Logic 50, No. 3, 271-301 (1990). Reviewer: G.Mints MSC: 03B45 03B70 03F05 PDFBibTeX XMLCite \textit{D. Wijesekera}, Ann. Pure Appl. Logic 50, No. 3, 271--301 (1990; Zbl 0714.03016) Full Text: DOI
Lukowski, Piotr Intuitionistic sentential calculus with identity. (English) Zbl 0709.03002 Bull. Sect. Log., Pol. Acad. Sci. 19, No. 3, 92-99 (1990). Reviewer: H.J.Ohlbach MSC: 03B20 PDFBibTeX XMLCite \textit{P. Lukowski}, Bull. Sect. Logic, Pol. Acad. Sci. 19, No. 3, 92--99 (1990; Zbl 0709.03002)
Nerode, Anil Some lectures on intuitionistic logic. (English) Zbl 0703.03001 Logic and computer science, Lect. 1st Sess. CIME, Montecatini Terme/Italy 1988, Lect. Notes Math. 1429, 12-59 (1990). Reviewer: B.R.Boričić MSC: 03B20 03-01 PDFBibTeX XML
Kirov, K. On the algebra of closed formulas in the intuitionistic version of GL. (English) Zbl 0702.03008 C. R. Acad. Bulg. Sci. 43, No. 4, 9-12 (1990). Reviewer: B.Boričić MSC: 03B45 03F40 PDFBibTeX XMLCite \textit{K. Kirov}, C. R. Acad. Bulg. Sci. 43, No. 4, 9--12 (1990; Zbl 0702.03008)
Akama, Seiki Subformula semantics for strong negation systems. (English) Zbl 0693.03004 J. Philos. Logic 19, No. 2, 217-226 (1990). MSC: 03B20 03C90 03F05 PDFBibTeX XMLCite \textit{S. Akama}, J. Philos. Log. 19, No. 2, 217--226 (1990; Zbl 0693.03004) Full Text: DOI
Goranko, Valentin Completeness and incompleteness in the bimodal base \({\mathcal L}(R,-R)\). (English) Zbl 0788.03018 Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 311-326 (1990). Reviewer: V.Shekhtman (Moskva) MSC: 03B45 PDFBibTeX XMLCite \textit{V. Goranko}, in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988. New York: Plenum Press. 311--326 (1990; Zbl 0788.03018)
Gargov, George; Passy, Solomon A note on Boolean modal logic. (English) Zbl 0777.03005 Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 299-309 (1990). MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{G. Gargov} and \textit{S. Passy}, in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988. New York: Plenum Press. 299--309 (1990; Zbl 0777.03005)
Shekhtman, Valentin; Skvortsov, Dmitrij Semantics of non-classical first order predicate logics. (English) Zbl 0788.03022 Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 105-116 (1990). Reviewer: V.Shekhtman (Moskva) MSC: 03B45 03B55 03C90 03G25 PDFBibTeX XMLCite \textit{V. Shekhtman} and \textit{D. Skvortsov}, in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988. New York: Plenum Press. 105--116 (1990; Zbl 0788.03022)
Wansing, Heinrich A general possible worlds framework for reasoning about knowledge and belief. (English) Zbl 0744.03028 Stud. Log. 49, No. 4, 523-539 (1990). Reviewer: J.Šefránek (Bratislava) MSC: 03B60 68T27 68T30 03B45 PDFBibTeX XMLCite \textit{H. Wansing}, Stud. Log. 49, No. 4, 523--539 (1990; Zbl 0744.03028) Full Text: DOI