Skip to main content
SpringerLink
Log in

A modal logic for data analysis

  • Contributed Papers
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1996 (MFCS 1996)

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

Abstract

Modal logic is a natural framework for the representation and the mechanization of reasoning with incomplete information about objects in terms of attributes. Its use in the theory of the systems of information rests on the concept of a Kripke frame with relative accessibility relations. This paper presents the proof of the completeness of a logic based on these frames.

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. P. Balbiani. Modal logics with relative accessibility relations. E. Orlowska (editor), Reasoning with Incomplete Information. To appear.

    Google Scholar 

  2. S. Demri. The validity problem for the logic DALLA is decidable. Bulletin of the Polish Academy of Sciences, to appear.

    Google Scholar 

  3. S. Demri and E. Orlowska. Logical analysis of indiscernability. E. Orlowska (editor), Reasoning with Incomplete Information. To appear.

    Google Scholar 

  4. L. Fariñas del Cerro and E. Orlowska. DAL — a logic for data analysis. Theoretical Computer Science, Volume 36, 251–264, 1985.

    Article  Google Scholar 

  5. R. Goldblatt. Logics of Time and Computation. Center for the Study of Language and Computation, Lecture Notes Number 7, 1987.

    Google Scholar 

  6. G. Hughes and M. Cresswell. A Companion to Modal Logic. Methuen, 1984.

    Google Scholar 

  7. B. Konikowska. A formal language for reasoning about indiscernability. Bulletin of the Polish Academy of Sciences, Volume 35, 239–249, 1987.

    Google Scholar 

  8. B. Konikowska. A logic for reasoning about relative similarity. E. Orlowska (editor), Reasoning with Incomplete Information. To appear.

    Google Scholar 

  9. E. Orlowska. Modal logics in the theory of information systems. Zeitschr. f. math. Logik und Grundlagen d. Math., Volume 30, 213–222, 1984.

    Google Scholar 

  10. E. Orlowska. Kripke semantics for knowledge representation logics. Studia Logica, Volume 49, 255–272, 1990.

    Article  Google Scholar 

  11. D. Vakarelov. Modal logics for knowledge representation systems. Theoretical Computer Science, Volume 90, 433–456, 1991.

    Article  Google Scholar 

  12. D. Vakarelov. A modal theory of arrows. Arrow logics I. D. Pearce and G. Wagner (editors), Logics in AI, European Workshop JELIA '92, Berlin, Germany, September 1992, Proceedings. Lecture Notes in Artificial Intelligence 633, 1–24, Springer-Verlag, 1992.

    Google Scholar 

  13. D. Vakarelov. Many-dimensional arrow structures. Arrow logics II. Journal of Applied Non-Classical Logics, to appear.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d'informatique de Paris-Nord Institut Galilée, Université Paris-Nord, Avenue Jean-Baptiste Clément, F-93430, Villetaneuse

    Philippe Balbiani

Authors
  1. Philippe Balbiani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wojciech Penczek Andrzej Szałas

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Balbiani, P. (1996). A modal logic for data analysis. In: Penczek, W., Szałas, A. (eds) Mathematical Foundations of Computer Science 1996. MFCS 1996. Lecture Notes in Computer Science, vol 1113. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61550-4_146

Download citation

  • DOI: https://doi.org/10.1007/3-540-61550-4_146

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61550-7

  • Online ISBN: 978-3-540-70597-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation