• PhilPapers
  • PhilPeople
  • PhilArchive
  • PhilEvents
  • PhilJobs
  • Sign in
PhilPeople
 
  • Sign in
  • News Feed
  • Find Philosophers
  • Departments
  • Radar
  • Help
 
profile-cover
Drag to reposition
profile picture

Heinrich Herre

Universität Leipzig
  •  Home
  •  Publications
    36
    • Most Recent
    • Most Downloaded
    • Topics
  •  News and Updates
    19

 More details
  • Universität Leipzig
    Regular Faculty
Leipzig, Saxony, Germany
  • All publications (36)
  •  126
    Brewka 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.
    Epistemic Logic
  •  43
    Theory of Linear Order in Extended Logics
    In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba (eds.), Quantifiers: Logics, Models and Computation: Volume Two: Contributions, Kluwer Academic Publishers. pp. 139--192. 1995.
    Nonclassical LogicsSubstructural Logic
  •  53
    Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor
    with Helmut Wolter
    Mathematical Logic Quarterly 25 (19‐24): 345-358. 1979.
  •  29
    Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings (review)
    with Roy Dyckhoff and Peter Schroeder-Heister
    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
    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 applications of these telematics systems from a range of European countries in various transport sectors. The empirical results are supplemented by analytical models and geographic information systems representations with a view on generalizing these findings and identifying the key parameters which determine user response.
    Areas of Mathematics
  •  89
    Generalized compactness of nonmonotonic inference operations
    Journal 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.
    Logic and Philosophy of LogicEpistemic Logic
  •  64
    Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher Valenz
    Mathematical Logic Quarterly 18 (16‐18): 249-254. 1972.
  • Prev.
  • 1
  • 2
  • Next
PhilPeople logo

On this site

  • Find a philosopher
  • Find a department
  • The Radar
  • Index of professional philosophers
  • Index of departments
  • Help
  • Acknowledgments
  • Careers
  • Contact us
  • Terms and conditions

Brought to you by

  • The PhilPapers Foundation
  • The American Philosophical Association
  • Centre for Digital Philosophy, Western University
PhilPeople is currently in Beta Sponsored by the PhilPapers Foundation and the American Philosophical Association
Feedback