Johnson, Mark Logic and feature structures. (English) Zbl 0757.03012 Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 992-996 (1991). Reviewer: N.Curteanu (Iaşi) MSC: 03B65 68T27 68T50 03B20 03B25 03D15 PDFBibTeX XMLCite \textit{M. Johnson}, in: IJCAI 91, Proceedings of the 12th International Conference on Artificial Intelligence. Sydney, Australia, 24-30 August 1991. Vol. 1-2. San Mateo, CA: Morgan Kaufmann Publ.. 992--996 (1991; Zbl 0757.03012)
Kracht, Marcus Internal definability and completeness in modal logic. (English) Zbl 0742.03004 Berlin: FU Berlin, Fachbereich Mathematik, 97 p. (1991). Reviewer: L.F.Goble (Salem) MSC: 03B45 PDFBibTeX XMLCite \textit{M. Kracht}, Internal definability and completeness in modal logic. Berlin: FU Berlin, Fachbereich Mathematik (1991; Zbl 0742.03004)
Grandell, Jan Aspects of risk theory. (English) Zbl 0717.62100 Springer Series in Statistics. Probability and its Applications. New York etc.: Springer-Verlag. x, 175 p. DM 78.00 (1991). Reviewer: V.Schmidt MSC: 62P05 62-02 91B30 90-02 60G55 60K20 60K10 PDFBibTeX XMLCite \textit{J. Grandell}, Aspects of risk theory. New York etc.: Springer-Verlag (1991; Zbl 0717.62100)
Tiomkin, M.; Makowsky, J. A. Decidability of finite probabilistic propositional dynamic logics. (English) Zbl 0732.03022 Inf. Comput. 94, No. 2, 180-203 (1991). Reviewer: N.Curteanu (Iaşi) MSC: 03B70 03B25 03B45 03B48 68Q55 PDFBibTeX XMLCite \textit{M. Tiomkin} and \textit{J. A. Makowsky}, Inf. Comput. 94, No. 2, 180--203 (1991; Zbl 0732.03022) Full Text: DOI
Passy, Solomon; Tinchev, Tinko An essay in combinatory dynamic logic. (English) Zbl 0732.03021 Inf. Comput. 93, No. 2, 263-332 (1991). Reviewer: N.Curteanu (Iaşi) MSC: 03B70 03B40 03B45 PDFBibTeX XMLCite \textit{S. Passy} and \textit{T. Tinchev}, Inf. Comput. 93, No. 2, 263--332 (1991; Zbl 0732.03021) Full Text: DOI
Toffalori, Carlo 1-ary functions and the f.c.p. (English) Zbl 0716.03027 Ill. J. Math. 35, No. 3, 434-450 (1991). Reviewer: C.Toffalori MSC: 03C45 03C60 PDFBibTeX XMLCite \textit{C. Toffalori}, Ill. J. Math. 35, No. 3, 434--450 (1991; Zbl 0716.03027)
Kracht, Marcus; Wolter, Frank Properties of independently axiomatizable bimodal logics. (English) Zbl 0743.03013 J. Symb. Log. 56, No. 4, 1469-1485 (1991). Reviewer: L.F.Goble (Salem) MSC: 03B45 PDFBibTeX XMLCite \textit{M. Kracht} and \textit{F. Wolter}, J. Symb. Log. 56, No. 4, 1469--1485 (1991; Zbl 0743.03013) Full Text: DOI Link
Vakarelov, Dimiter A modal logic for similarity relations in Pawlak knowledge representation systems. (English) Zbl 0737.68078 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 1, 61-79 (1991). Reviewer: P.-G.Holban (Iaşi) MSC: 68T30 03B45 PDFBibTeX XMLCite \textit{D. Vakarelov}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 1, 61--79 (1991; Zbl 0737.68078)
Kracht, Marcus A solution to a problem of Urquhart. (English) Zbl 0743.03012 J. Philos. Log. 20, No. 3, 285-286 (1991). Reviewer: L.F.Goble (Salem) MSC: 03B45 PDFBibTeX XMLCite \textit{M. Kracht}, J. Philos. Log. 20, No. 3, 285--286 (1991; Zbl 0743.03012) Full Text: DOI
Paech, Barbara Extending temporal logic by explicit concurrency. (English) Zbl 0777.03009 Mathematical foundations of computer science, Proc. 16th Int. Symp., Kazimierz Dolny/Pol. 1991, Lect. Notes Comput. Sci. 520, 377-386 (1991). MSC: 03B70 68Q85 PDFBibTeX XMLCite \textit{B. Paech}, Lect. Notes Comput. Sci. 520, 377--386 (1991; Zbl 0777.03009)