A modal logic for data analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1113, Issue , 1996, Pages 167-179

  Balbiani, Philippe ^a  

^a UNIVERSITÉ PARIS 13   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MACHINERY;

INCOMPLETE INFORMATION; KRIPKE FRAMES; MODAL LOGIC;

COMPUTER CIRCUITS;

EID: 84947913636     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61550-4_146     Document Type: Conference Paper

References (13)

1. P. Balbiani. Modal logics with relative accessibility relations. E. Orlowska (editor), Reasoning with Incomplete Information. To appear.
2. S. Demri. The validity problem for the logic DALLA is decidable. Bulletin of the Polish Academy of Sciences, to appear.
3. S. Demri and E. Orlowska. Logical analysis of indiscernability. E. Orlowska (editor), Reasoning with Incomplete Information. To appear.
4. L. Fariñas del Cerro and E. Orlowska. DAL - A logic for data analysis. Theoretical Computer Science, Volume 36, 251-264, 1985.
5. R. Goldblatt. Logics of Time and Computation. Center for the Study of Language and Computation, Lecture Notes Number 7, 1987.
6. G. Hughes and M. Cresswell. A Companion to Modal Logic. Methuen, 1984.
7. B. Konikowska. A formal language for reasoning about indiscernability. Bulletin of the Polish Academy of Sciences, Volume 35, 239-249, 1987.
8. B. Konikowska. A logic for reasoning about relative similarity. E. Orlowska (editor), Reasoning with Incomplete Information. To appear.
9. E. Orlowska. Modal logics in the theory of information systems. Zeitschr. f. math. Logik und Grundlagen d. Math., Volume 30, 213-222, 1984.
10. E. Orlowska. Kripke semantics for knowledge representation logics. Studia Logica, Volume 49, 255-272, 1990.
11. D. Vakarelov. Modal logics for knowledge representation systems. Theoretical Computer Science, Volume 90, 433-456, 1991.
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.
13. D. Vakarelov. Many-dimensional arrow structures. Arrow logics II. Journal of Applied Non-Classical Logics, to appear.