Filters








5 Hits in 1.7 sec

Page 6869 of Mathematical Reviews Vol. , Issue 90M [page]

1990 Mathematical Reviews  
The author presents cut-free Gentzen-type sequent systems for the predicate and propositional modal logics K45 and K45D.  ...  F.] (2-AOS-PG) Gentzen style systems for K45 and K45D. Logic at Botik °89 (Pereslavl'-Zalesskiy, 1989), 245-256, Lecture Notes in Comput. Sci., 363, Springer, Berlin-New York, 1989.  ... 

Page 6638 of Mathematical Reviews Vol. , Issue 90K [page]

1990 Mathematical Reviews  
Shvarts], Gentzen style systems for K45 and K45D (pp. 245-256); Dimiter Vakarelov [Dimit’r Vakarelov], Modal logics for knowledge representation systems (pp. 257-277); Wieslaw Zielonka, Safe executions  ...  , MCTL—an extension of CTL for modular ver- ification of concurrent systems (pp. 165-187); E.  ... 

Page 1219 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
Gentzen style systems for K45 and K45D. 90m:03040 Smets, Philippe Belief functions versus probability functions. (see 90f:68009) Sonenberg, E. A. (with Topor, R. W.)  ...  A., 90g:68131 Stokalski, Andrzej (with Liderman, Krzysztof) A method for formalization of conceptual models for data processing systems. (Polish.  ... 

Page 1172 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
Gentzen style systems for K45 and K45D. Logic at Botik’89 (Pereslavi'- Zalesskiy, 1989), 245-256, Lecture Notes in Comput. Sci., 363, Springer, Berlin-New York, 1989.  ...  Coefficient conditions for a center in the sense of Dulac for a differential system with one zero characteristic root and cubic right-hand sides. (Russian) Dokl. Akad.  ... 

verantwortlich für das Programm ist das Wissenschaftliche Direktorium: Träger: Die Bundesländer Saarland und Rheinland-Pfalz Non-Classical Logics in Computer Science Anil N erode, Wiktor Marekk

Beth Thomas, Ing Encarnacao, Hans Hagen, Michael Laska, Thomas Lengauer, Wolfgang Thomas, Wilhelm Relnhard, Universität Karlsruhe, Bezugsadresse Geschäftsstelle, Schloss Dagstuhl, Peter Schmitt
1993 unpublished
Using a general theorem due to Rautenberg we also obtain the (weak) interpolation theorem for K45, K45D, S4.2 and S4R.  ...  We then give sound and complete semi-analytic tableau calculi for monotonic K45, K45D, S4.2 and S4F by adding an (analytic) cut rule.  ... 
fatcat:jscehr7qvbfkhoeep5yoyl5bfi