-
126Brewka Gerhard. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge tracts in theoretical computer science, no. 12. Cambridge University Press, Cambridge etc. 1991, xiii + 168 pp (review)Journal of Symbolic Logic 58 (3): 1079-1080. 1993.
-
43Theory of Linear Order in Extended LogicsIn Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba (eds.), Quantifiers: Logics, Models and Computation: Volume Two: Contributions, Kluwer Academic Publishers. pp. 139--192. 1995.
-
53Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐QuantorMathematical Logic Quarterly 25 (19‐24): 345-358. 1979.
-
29Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings (review)Springer Verlag. 1996.A major strategy to reduce transport congestion and other social costs of transport is to ensure that travellers make the best decisions, based on real time information. A wide range of technological systems have been developed to provide this information, but little is known about how travellers actually respond to it. This book offers an overview of various transport telematics options and provides an appropriate methodological framework, followed by a presentation of results from actual appli…Read more
-
89Generalized compactness of nonmonotonic inference operationsJournal of Applied Non-Classical Logics 5 (1): 121-135. 1995.The aim of the present paper is to analyse compactness properties of nonmonotonic inference operations within the framework of model theory. For this purpose the concepts of a deductive frame and its semantical counterpart, a semantical frame are introduced. Compactness properties play a fundamental in the study of non-monotonic inference, and in the paper several new versions of compactness are studied.
-
64Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher ValenzMathematical Logic Quarterly 18 (16‐18): 249-254. 1972.
-
Universität LeipzigRegular Faculty
Leipzig, Saxony, Germany