Reichenbach, Hans Kamlah, Andreas (ed.); Reichenbach, Maria (ed.); Bayerl, Stephan H. A. (ed.); Varga von Kibéd, Matthias (ed.) [Kaplan, David] Collected works. Vol. 6: Elements of symbolic logic. (Gesammelte Werke. Hrsg. von Andreas Kamlah und Maria Reichenbach. Band 6: Grundzüge der symbolischen Logik. Hrsg. unter Mitarbeit von Stephan H. A. Bayerl und Matthias Varga v. Kibéd. Aus dem Englischen übersetzt von Stephan H. A. Bayerl, Claudia Thomé und Matthias Varga von Kibéd. Mit einem Geleitwort zur deutschen Ausgabe von David Kaplan.) (German) Zbl 0940.03002 Wiesbaden: Vieweg. xxviii, 436 S. (1999). Reviewer: H.C.M.de Swart (Tilburg) MSC: 03-03 01A75 03B45 03A05 03B65 03-01 03B05 03-02 03B10 PDFBibTeX XMLCite \textit{H. Reichenbach} et al., Gesammelte Werke. Hrsg. von Andreas Kamlah und Maria Reichenbach. Band 6: Grundzüge der symbolischen Logik. Hrsg. unter Mitarbeit von Stephan H. A. Bayerl und Matthias Varga v. Kibéd. Aus dem Englischen übersetzt von Stephan H. A. Bayerl, Claudia Thomé und Matthias Varga von Kibéd. Mit einem Geleitwort zur deutschen Ausgabe von David Kaplan. Wiesbaden: Vieweg (1999; Zbl 0940.03002)
Kostrzycka, Zofia On modality in stoic logic. (Polish. English summary) Zbl 1023.03519 Acta Univ. Wratislav. 2180, Log. 19, 37-50 (1999). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{Z. Kostrzycka}, Acta Univ. Wratislav. 2180, 37--50 (1999; Zbl 1023.03519)
Skura, Tomasz Aspects of refutation procedures in the intuitionistic logic and related modal systems. (English) Zbl 1025.03009 Acta Univ. Wratislav. 2190, Log. 20, 84 p. (1999). MSC: 03B20 03B45 PDFBibTeX XMLCite \textit{T. Skura}, Acta Univ. Wratislav. 2190, 84 p. (1999; Zbl 1025.03009)
Jaśkowski, Stanisław On the discussive conjunction in the propositional calculus for inconsistent deductive systems. (English) Zbl 1013.03005 Log. Log. Philos. 7, 57-59 (1999). Reviewer: J.Mackenzie (Sydney) MSC: 03-03 03B53 01A75 PDFBibTeX XMLCite \textit{S. Jaśkowski}, Log. Log. Philos. 7, 57--59 (1999; Zbl 1013.03005) Full Text: DOI
Jaśkowski, Stanisław A propositional calculus for inconsistent deductive systems. (English) Zbl 1013.03004 Log. Log. Philos. 7, 35-56 (1999). Reviewer: J.Mackenzie (Sydney) MSC: 03-03 03B53 01A75 PDFBibTeX XMLCite \textit{S. Jaśkowski}, Log. Log. Philos. 7, 35--56 (1999; Zbl 1013.03004) Full Text: DOI
Leuştean, Laurenţiu Three-valued propositional dynamic logic. (English) Zbl 0984.03031 Smeureanu, Ion (ed.) et al., Information technology. Proceedings of the 4th international symposium on economic informatics held in Bucharest, Romania, May 6-9, 1999. Bucharest: Editura Inforec. 1006-1010 (1999). MSC: 03B70 03B45 03B50 PDFBibTeX XMLCite \textit{L. Leuştean}, in: Information technology. Proceedings of the 4th international symposium on economic informatics held in Bucharest, Romania, May 6--9, 1999. Bucharest: Editura Inforec. 1006--1010 (1999; Zbl 0984.03031)
Ishii, Tadao A note on varieties of PCI-algebras with EDPC. (English) Zbl 0957.03062 Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 2, 75-81 (1999). MSC: 03G25 PDFBibTeX XMLCite \textit{T. Ishii}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 2, 75--81 (1999; Zbl 0957.03062)
Sasaki, Katsumi Formalizations for the consequence relation of Visser’s propositional logic. (English) Zbl 0947.03026 Rep. Math. Logic 33, 65-78 (1999). MSC: 03B45 03B20 PDFBibTeX XMLCite \textit{K. Sasaki}, Rep. Math. Logic 33, 65--78 (1999; Zbl 0947.03026)
Nielsen, Michael Florentin Modal logic and the Curry-Howard isomorphism. (English) Zbl 0944.03022 Copenhagen: Univ. of Copenhagen, Department of Computer Science, 52 p. (1999). MSC: 03B70 03B45 03B40 68Q60 03-02 68-02 PDFBibTeX XMLCite \textit{M. F. Nielsen}, Modal logic and the Curry-Howard isomorphism. Copenhagen: Univ. of Copenhagen, Department of Computer Science (1999; Zbl 0944.03022)
Ghilardi, Silvio; Miglioli, Pierangelo On canonicity and strong completeness conditions in intermediate propositional logics. (English) Zbl 0958.03017 Stud. Log. 63, No. 3, 353-385 (1999). Reviewer: D.Skvortsov (Moskva) MSC: 03B55 03B45 PDFBibTeX XMLCite \textit{S. Ghilardi} and \textit{P. Miglioli}, Stud. Log. 63, No. 3, 353--385 (1999; Zbl 0958.03017) Full Text: DOI
Gurov, Dilian; Kapron, Bruce A note on negative tagging for least fixed-point formulae. (English) Zbl 0940.03034 Theor. Inform. Appl. 33, No. 4-5, 383-392 (1999). MSC: 03B70 68Q60 03F07 68Q85 03B44 PDFBibTeX XMLCite \textit{D. Gurov} and \textit{B. Kapron}, Theor. Inform. Appl. 33, No. 4--5, 383--392 (1999; Zbl 0940.03034) Full Text: DOI Numdam EuDML
Indrzejczak, Andrzej A survey of natural deduction systems for modal logics. (English) Zbl 0941.03019 Log. Trianguli 3, 55-83 (1999). MSC: 03B45 PDFBibTeX XMLCite \textit{A. Indrzejczak}, Log. Trianguli 3, 55--83 (1999; Zbl 0941.03019)
Miculan, Marino Formalizing a lazy substitution proof system for \(\mu\)-calculus in the calculus of inductive constructions. (English) Zbl 0939.03024 Wiedermann, Jiří (ed.) et al., Automata, languages and programming. 26th international colloquium, ICALP ‘99. Prague, Czech Republic, July 11-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1644, 554-564 (1999). MSC: 03B44 03B35 68T15 68Q42 PDFBibTeX XMLCite \textit{M. Miculan}, Lect. Notes Comput. Sci. 1644, 554--564 (1999; Zbl 0939.03024)
Beklemishev, L. D. Classification of propositional provability logics. (English) Zbl 0933.03079 Beklemishev, Lev et al., Provability, complexity, grammars. Three doctoral dissertations translated from the Russian. Providence, RI: American Mathematical Society. Transl., Ser. 2, Am. Math. Soc. 192, 1-56 (1999). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03B45 03F03 PDFBibTeX XMLCite \textit{L. D. Beklemishev}, Transl., Ser. 2, Am. Math. Soc. 192, 1--56 (1999; Zbl 0933.03079)
Horrocks, Ian; Patel-Schneider, Peter F. Optimizing description logic subsumption. (English) Zbl 0940.03038 J. Log. Comput. 9, No. 3, 267-293 (1999). MSC: 03B70 68T30 03B45 68T27 PDFBibTeX XMLCite \textit{I. Horrocks} and \textit{P. F. Patel-Schneider}, J. Log. Comput. 9, No. 3, 267--293 (1999; Zbl 0940.03038) Full Text: DOI
Schild, Klaus On the relationship between BDI logics and standard logics of concurrency. (English) Zbl 0927.03056 Müller, Jörg P. (ed.) et al., Intelligent agents V. Agent theories, architectures, and languages. 5th international workshop, ATAL ’98. Paris, France, July 4–7, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1555, 47-61 (1999). MSC: 03B70 68T27 03B45 68Q85 PDFBibTeX XMLCite \textit{K. Schild}, Lect. Notes Comput. Sci. 1555, 47--61 (1999; Zbl 0927.03056)
Wolter, Frank; Zakharyaschev, Michael Intuitionistic modal logics as fragments of classical bimodal logics. (English) Zbl 0922.03023 Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 168-183 (1999). Reviewer: G.Mints (Stanford) MSC: 03B45 PDFBibTeX XMLCite \textit{F. Wolter} and \textit{M. Zakharyaschev}, Stud. Fuzziness Soft Comput. 24, 168--183 (1999; Zbl 0922.03023)
Mints, Grigori A completeness proof for propositional S4 in Cantor space. (English) Zbl 0923.03026 Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 79-88 (1999). Reviewer: L.F.Goble (Salem) MSC: 03B45 PDFBibTeX XMLCite \textit{G. Mints}, Stud. Fuzziness Soft Comput. 24, 79--88 (1999; Zbl 0923.03026)
Davoren, J. M. On hybrid systems and the modal \(\mu\)-calculus. (English) Zbl 0928.93027 Antsaklis, Panos (ed.) et al., Hybrid systems V. 5th international Hybrid systems workshop held in Notre Dame, IN, USA, September 11–13, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1567, 38-69 (1999). Reviewer: B.F.Šmarda (Brno) MSC: 93C30 93B35 93D05 68Q45 93C65 68Q55 03B45 PDFBibTeX XMLCite \textit{J. M. Davoren}, Lect. Notes Comput. Sci. 1567, 38--69 (1999; Zbl 0928.93027)
Yashin, A. D. Irreflexive modality in the intuitionistic propositional logic and Novikov completeness. (English) Zbl 0976.03021 J. Philos. Log. 28, No. 2, 175-197 (1999). MSC: 03B45 03B20 PDFBibTeX XMLCite \textit{A. D. Yashin}, J. Philos. Log. 28, No. 2, 175--197 (1999; Zbl 0976.03021) Full Text: DOI
Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos Fibring of logics as a categorial construction. (English) Zbl 0942.03064 J. Log. Comput. 9, No. 2, 149-179 (1999). Reviewer: P.Bankston (Milwaukee) MSC: 03G30 03B45 PDFBibTeX XMLCite \textit{A. Sernadas} et al., J. Log. Comput. 9, No. 2, 149--179 (1999; Zbl 0942.03064) Full Text: DOI Link