Skip to main content
SpringerLink
Log in

The application of Kripke-type structures to regional development programs

  • Conference paper
  • First Online:
Database and Expert Systems Applications (DEXA 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 720))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. B. F. Chellas: Modal Logic. Cambridge 1980.

    Google Scholar 

  4. 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. 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. 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. N. Rescher: Many-Valued Logic. New York 1969.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Algebra and Discrete Mathematics, TU Wien, Wiedner Hauptstr. 8-10, A-1040, Wien

    Matthias Baaz

  2. Seminario de Informática y Derecho, University of Zaragoza, E-50009, Zaragoza

    Fernando Galindo & Manuel Vázqez

  3. FAW, University of Linz, Altenbergerstr. 69, A-4040, Linz

    Gerald Quirchmayr

Authors
  1. Matthias Baaz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fernando Galindo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gerald Quirchmayr
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Manuel Vázqez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Vladimír Mařík Jiří Lažanský Roland R. Wagner

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baaz, M., Galindo, F., Quirchmayr, G., Vázqez, M. (1993). The application of Kripke-type structures to regional development programs. In: Mařík, V., Lažanský, J., Wagner, R.R. (eds) Database and Expert Systems Applications. DEXA 1993. Lecture Notes in Computer Science, vol 720. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57234-1_53

Download citation

  • DOI: https://doi.org/10.1007/3-540-57234-1_53

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57234-3

  • Online ISBN: 978-3-540-47982-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation