The application of Kripke-type structures to regional development programs

  • Matthias Baaz
  • Fernando Galindo
  • Gerald Quirchmayr
  • Manuel Vázqez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 720)


Legal and administraitve decision making are characterized by conflicting laws, statutes and internal regulations making the process extremely difficult to formalize. Defining strategies for modetling priorities and their allocation is of major importance in such an environment. Modal logic and multiple-valued logic are therefore used in our approach to design a priority-oriented model.


Modal logic Kripke-type frames legal expert systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Baaz/Quirchmayr 1987]
    M. Baaz and G. Quirchmayr: The application of multiple valued logic in supporting legal decision making. In: Proc. of the 17th Int. Symp. on Multiple-Valued Logic, pp. 234–248, IEEE Washington 1987.Google Scholar
  2. [Baaz/Quirchmayr 1988]
    M. Baaz and G. Quirchmayr: Models of juridical decisions based on the concepts of possible worlds. In: Proc. of the 8th Int. Workshop on Expert Systems and their Applications, pp. 165–174, EC2, Nanterre 1988.Google Scholar
  3. [Chellas 1980]
    B. F. Chellas: Modal Logic. Cambridge 1980.Google Scholar
  4. [Galindo 1992]
    F. Galindo: La distributión de fondos públicos para la promocion del empleo. Principios básicos. Zaragoza, Seminario de Informática y Derecho, Documento 3/1992.Google Scholar
  5. [Kripke 1963]
    S. A. Kripke: Semantical analysis of modal logic I. Normal modal propositional calculi. In: Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9/1963, pp. 67–69.Google Scholar
  6. [Kripke 1965]
    S. A. Kripke: Semantical analysis of modal logic II. Non-normal modal propositional calculi. In: J. W. Addison, L. Henkin and A.Tarski (eds.): The Theory of Models, Amsterdam 1965.Google Scholar
  7. [Rescher 1969]
    N. Rescher: Many-Valued Logic. New York 1969.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Matthias Baaz
    • 1
  • Fernando Galindo
    • 2
  • Gerald Quirchmayr
    • 3
  • Manuel Vázqez
    • 2
  1. 1.Institute of Algebra and Discrete MathematicsTU WienWien
  2. 2.Seminario de Informática y DerechoUniversity of ZaragozaZaragoza
  3. 3.FAWUniversity of LinzLinz

Personalised recommendations