• 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)
  •  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
  •  86
    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
  •  61
    Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher Valenz
    Mathematical Logic Quarterly 18 (16‐18): 249-254. 1972.
  •  55
    The ontology of mereological systems: A logical approach
    In Roberto Poli & Johanna Seibt (eds.), Theory and Applications of Ontology: Philosophical Perspectives, Springer Verlag. pp. 57--82. 2010.
    Ontology
  •  39
    Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor
    with Helmut Wolter
    Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24): 345-358. 1979.
  •  63
    Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie II
    with Kurt Hauschild and Wolfgang Rautenberg
    Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30): 457-480. 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