Pliuškevičius, Regimantas Investigation of finitary calculi for the temporal logics by means of infinitary calculi. (English) Zbl 0732.03014 Mathematical foundations of computer science, Proc. 15th Symp., MFCS ’90, Banská Bystrica/Czech. 1990, Lect. Notes Comput. Sci. 452, 464-469 (1990). MSC: 03B45 03B70 03F05 PDFBibTeX XML
Grädel, Erich Simple interpretations among complicated theories. (English) Zbl 0712.03006 Inf. Process. Lett. 35, No. 5, 235-238 (1990). Reviewer: M.K.Val’ev MSC: 03B25 03B45 03D15 68Q25 PDFBibTeX XMLCite \textit{E. Grädel}, Inf. Process. Lett. 35, No. 5, 235--238 (1990; Zbl 0712.03006) Full Text: DOI
Maliaukienė, L. The replaceability of the double induction axiom in the linear temporal successor system. (Russian. English summary) Zbl 0708.03030 Lit. Mat. Sb. 30, No. 3, 548-556 (1990). MSC: 03F30 03B45 PDFBibTeX XMLCite \textit{L. Maliaukienė}, Litov. Mat. Sb. 30, No. 3, 548--556 (1990; Zbl 0708.03030)
Maliaukienė, L. The replaceability of the induction axiom in the temporal-arithmetical successor-system with predicate \(``<''\). (Russian. English summary) Zbl 0704.03039 Lit. Mat. Sb. 30, No. 1, 117-125 (1990). MSC: 03F30 03B45 PDFBibTeX XMLCite \textit{L. Maliaukienė}, Litov. Mat. Sb. 30, No. 1, 117--125 (1990; Zbl 0704.03039)
Carmo, José; Sernadas, Amílcar Branching versus linear logics yet again. (English) Zbl 0697.68022 Formal Aspects Comput. 2, No. 1, 24-59 (1990). MSC: 68Q60 03B45 68P20 PDFBibTeX XMLCite \textit{J. Carmo} and \textit{A. Sernadas}, Formal Asp. Comput. 2, No. 1, 24--59 (1990; Zbl 0697.68022) Full Text: DOI